127 search results - page 9 / 26 » Automatic test bench generation for simulation-based validat... |
APSEC
2006
IEEE
14 years 1 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
ICCD
2004
IEEE
14 years 4 months ago
2004
IEEE
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
ISVLSI
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...