32 search results - page 1 / 7 » Coverage Directed Generation of System-Level Test Cases for ... |
FM
2001
Springer
13 years 9 months ago
2001
Springer
ICCD
2004
IEEE
14 years 2 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...
DATE
2007
IEEE
13 years 11 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
GLVLSI
2008
IEEE
13 years 11 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
ICSEA
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...