Sciweavers

DAC
2005
ACM

Smart diagnostics for configurable processor verification

13 years 5 months ago
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...
Sadik Ezer, Scott Johnson
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2005
Where DAC
Authors Sadik Ezer, Scott Johnson
Comments (0)