Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor
 

Summary: 1
Abstract
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.
1. Introduction
Complete high-level microprocessor implementa-
tions have a large design space, often too large for
modern deterministic automatic test pattern generation
(ATPG) methods. In our previous research [1], we have
defined a method to generate highly effective input
stimuli by targeting the set of constraints that poten-
tially exposes the largest number of modeled errors for
any given ATPG iteration; this method, however,

  

Source: Al-Asaad, Hussain - Department of Electrical and Computer Engineering, University of California, Davis

 

Collections: Computer Technologies and Information Sciences