Continual hashing for efficient fine-grain state inconsistency detection
Lee, J.W.
King, M.
Asanovic, K.
Comput. Sci. & Artificial Intell. Lab., Massachusetts Inst. of Technol., Cambridge, MA;
This paper appears in: Computer Design, 2007. ICCD 2007. 25th International Conference on
Publication Date: 7-10 Oct. 2007
On page(s): 33-40
Location: Lake Tahoe, CA,
ISSN: 1063-6404
ISBN: 978-1-4244-1257-0
INSPEC Accession Number: 10160067
Digital Object Identifier: 10.1109/ICCD.2007.4601877
Current Version Published: 2008-08-19
Abstract
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module as a golden model for state inconsistency detection. One problem in simulation-based verification is the performance and bandwidth overhead of state dump and comparison between two models. In this paper, we propose an efficient fine-grain state inconsistency detection technique that checks the consistency of two states of arbitrary size at sub- transaction (tick) granularity using incremental hashes. At each tick, the hash generates a signature of the entire state, which can be efficiently updated and compared. We evaluate the proposed signature scheme with a FIR filter and a Vorbis decoder and show that very fine-grain state consistency checking is feasible. The hash signature checking increases execution time of Bluespec RTL simulation by 1.2% for the FIR filter and by 2.2% for the Verbis decoder while correctly detecting any injected state inconsistency.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
