Reconfigurable system design and verification | lit.salon