Reconfigurable system design and verification. (2018)