loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Jorge Campos, University of California, Davis, USA
Hussain Al-Asaad, University of California, Davis, USA
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.