Pre-RTL Formal Verification: An Intel Experience. - Beers, Robert (DAC: Annual ACM/IEEE Design Automation Conference, 2008)