“Exploiting High-Level Design Control and Data Structures for Hardware Verification,” 2007.