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