2007
DOI: 10.1049/iet-cdt:20060209
|View full text |Cite
|
Sign up to set email alerts
|

Debug enhancements in assertion-checker generation

Abstract: Although assertions are a great tool for aiding debugging in the design and implementation verification stages, their use in silicon debug has been limited so far. A set of techniques for debugging with the assertions in either pre-silicon or post-silicon scenarios are discussed. Presented are features such as assertion threading, activity monitors, assertion and cover counters and completion mode assertions. The common goal of these checker enhancements is to provide better and more diversified ways to achiev… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
13
0

Year Published

2010
2010
2016
2016

Publication Types

Select...
4
3

Relationship

0
7

Authors

Journals

citations
Cited by 25 publications
(13 citation statements)
references
References 6 publications
0
13
0
Order By: Relevance
“…In future, this work can be expanded for incorporation with multiprocessor design [41][42] [43], for enhancing debug features [44], in reliable networks on chip [45][46], as well as reversible [47], embedded high-density memory [48] design, and the extension is possible with transform-based techniques under lack of available data [49]. Finally, the low-power [50] and the sequential design test [51] can be applied.…”
Section: Future Workmentioning
confidence: 99%
“…In future, this work can be expanded for incorporation with multiprocessor design [41][42] [43], for enhancing debug features [44], in reliable networks on chip [45][46], as well as reversible [47], embedded high-density memory [48] design, and the extension is possible with transform-based techniques under lack of available data [49]. Finally, the low-power [50] and the sequential design test [51] can be applied.…”
Section: Future Workmentioning
confidence: 99%
“…Using a similar approach for post-silicon validation has been successfully deployed for microprocessors [1]. Nonetheless, for generic circuits, though there are known techniques to implement assertions into hardware [2], it is less obvious how one can port constrained-random stimuli in a systematic manner.…”
Section: Motivationmentioning
confidence: 99%
“…The unit is a state machine that can be generated from the description with formal languages for assertion-based verification. Later, the same authors [5] introduced several enhanced features to localize the errors that are buried as internal states in sophisticated assertions, in addition to reduce the associated hardware cost in unit generation in [4],.…”
Section: Trace-based Debug Controlmentioning
confidence: 99%