Reconfigurable system design and verification. (©2009)