Seventh International Workshop on Microprocessor Test and Verification (MTV'06) Circuit Profiling Mechanisms for High-Level ATPG Austin, Texas December 04-December 05 ISBN: 0-7695-2839-2
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MTV.2006.6
Our Mutation-based Validation Paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently generate test sequences, we need to enable MVP?s ATPG to learn important details of the circuit under validation as a means to explore critical new circuit scenarios. In this paper, we present new profiling mechanisms that can exist either as a pre-processor that gathers circuit information prior to the circuit validation process, or as run-time entities that allow MVP to learn from its progressive experience.
Citation:
Jorge Campos, Hussain Al-Asaad, "Circuit Profiling Mechanisms for High-Level ATPG," mtv, pp.9-14, Seventh International Workshop on Microprocessor Test and Verification (MTV'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||