Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists.

Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz

Browse the full CAV paper archive.