Sciweavers

Share
ICCD
2006
IEEE

Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug

10 years 6 months ago
Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradigm. Starting with techniques based on dependency graphs, we construct the algorithms for counting and monitoring the activity of checkers, monitoring assertion completion, as well as introduce the concept of assertion threading. These debugging enhancements offer increased traceability and observability within assertion checkers, as well as the improved metrics relating to the coverage of assertion checkers. The proposed techniques have been successfully incorporated into the MBAC checker generator.
Marc Boule, Jean-Samuel Chenard, Zeljko Zilic
Added 16 Mar 2010
Updated 16 Mar 2010
Type Conference
Year 2006
Where ICCD
Authors Marc Boule, Jean-Samuel Chenard, Zeljko Zilic
Comments (0)
books