Summary: In 25th IEEE International Conference on Computer Design (ICCD-2007), Lake Tahoe, CA, October 2007.
Continual Hashing for Efficient Fine-grain State Inconsistency Detection
Jae W. Lee, Myron King
Computer Science and Artificial Intelligence Laboratory (CSAIL)
Massachusetts Institute of Technology
Cambridge, MA 02139
{leejw, mdk}@csail.mit.edu
Krste Asanovi´c
Computer Science Division, EECS Department
University of California at Berkeley
Berkeley, CA 94720-1776
krste@eecs.berkeley.edu
Abstract
Transaction-level modeling (TLM) allows a designer to
save functional verification effort during the modular re-
finement 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 perfor-
mance and bandwidth overhead of state dump and compar-
ison between two models. In this paper, we propose an effi-

Source: Asanovic, Krste - Computer Science and Artificial Intelligence Laboratory & Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT), Computer Science and Artificial Intelligence Laboratory, SCALE Group

Collections: Computer Technologies and Information Sciences