Smart diagnostics for configurable processor verification

This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional simulation-based verification methodologies that employ assembly programs for testing cannot easily link the diagnostic program to the test-bench for interactive control, consequently resulting in weaker coverage. ETC links the diagnostic program execution and the test-bench functions, thereby increasing the flexibility and power of the diagnostics to create more complex corner cases in fewer simulation cycles and with smaller code size. This method also enables dynamic self-checking and dynamic coverage analysis by either passing or failing the diagnostic based on the coverage goal, or terminating runaway random diagnostics much earlier. The presented simulation results show that ETC augments verification in two major areas: the creation of more maintainable, efficient, and smart diagnostics, and the reducti...

• Type: Conference
• Year: 2005
• Where: DAC
• Authors: Sadik Ezer, Scott Johnson
• Keywords: Computer Architecture, DAC 2005, ETC Augments Verification, Simulation-based Verification Methodologies, Verification Methodologies