Title : 
Fault models and test generation for hardware-software covalidation
         
        
        
            Author_Institution : 
California Univ., Irvine, CA, USA
         
        
        
        
        
        
        
            Abstract : 
Mixed hardware-software systems constitute a strong paradigm shift for system validation. The main barriers to overcome are finding the right fault models and optimizing the validation flow. This article presents a research summary of these issues.
         
        
            Keywords : 
automatic test pattern generation; fault diagnosis; hardware-software codesign; optimisation; application-specific fault models; automatic test generation; control-data flow fault models; gate-level fault models; hardware software covalidation; mixed hardware-software systems; optimisation; textual fault models; Application software; Automatic testing; Costs; Fault detection; Hardware; Process design; Refining; Software design; Software testing; System testing;
         
        
        
            Journal_Title : 
Design & Test of Computers, IEEE
         
        
        
        
        
            DOI : 
10.1109/MDT.2003.1214351