Continual Hashing for Efficient Fine-Grain State Inconsistency Detection

Download Now
Provided by: Massachusetts Institute of Technology
Topic: Hardware
Format: PDF
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, the authors 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.
Download Now

Find By Topic