Maher N. Mneimneh Fadi A. Aloul Christopher T. Weaver Saugata Chatterjee Karem A. Sakallah Todd M. Austin Scalable Hybrid Verification of Complex Microprocessors. 41-46 2001 conf/dac/2001 DAC http://jamaica.ee.pitt.edu/Archives/ProceedingArchives/Dac/Dac2001/papers/2001/dac01/pdffiles/04_2.pdf db/conf/dac/dac2001.html#MneimnehAWCSA01