Reconfigurable System Design and Verification