Specification-based compaction of directed tests for functional validation of pipelined processors

Heon-Mo Koo, Prabhat Mishra. Specification-based compaction of directed tests for functional validation of pipelined processors. In Catherine H. Gebotys, Grant Martin, editors, Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2008, Atlanta, GA, USA, October 19-24, 2008. pages 137-142, ACM, 2008. [doi]

Abstract

Abstract is missing.