Sciweavers

Share
MTV
2005
IEEE

Search-Space Optimizations for High-Level ATPG

10 years 17 days ago
Search-Space Optimizations for High-Level ATPG
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architectural states (prospect states) that can possibly satisfy a set of constraints during MVP’s test generation, we need to reduce the search space in the analysis process as early as possible. In this paper, we present some optimizations in the search space that speed up the overall test generation process.
Jorge Campos, Hussain Al-Asaad
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where MTV
Authors Jorge Campos, Hussain Al-Asaad
Comments (0)
books