Andrew DeOrio, Adam Bauserman, Valeria Bertacco. Chico: An On-chip Hardware Checker for Pipeline Control Logic. In Magdy S. Abadir, Li-C. Wang, Jayanta Bhadra, editors, Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA. pages 91-97, IEEE Computer Society, 2007. [doi]
Abstract is missing.