Exploiting "Architecture for Verification" to Streamline the Verification Process. - Whipp, Dave (DAC: Annual ACM/IEEE Design Automation Conference, 2009)