鈥淓xploiting High-Level Design Control and Data Structures for Hardware Verification,鈥� 2007.