A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is
Chico: An On-chip Hardware Checker for Pipeline Control Logic
2007 Eighth International Workshop on Microprocessor Test and Verification
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern microprocessor before shipping, much less before tape out. Recent studies indicate that the majority of errors in these designs are centered on control and forwarding logic  . To address this problem, we present Chico, an efficient approach to on-chip hardware correctness that specifically targets escaped design errorsdoi:10.1109/mtv.2007.19 dblp:conf/mtv/DeOrioBB07 fatcat:eouvfhbfujgcjmwxg5pigshyru