Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units.

Prabhat Mishra Nikil D. Dutt Alexandru Nicolau Hiroyuki Tomiyama Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units. 36-43 2002 conf/date/2002 DATE http://csdl.computer.org/comp/proceedings/date/2002/1471/00/14710036abs.htm db/conf/date/date2002.html#MishraDNT02