12 search results - page 2 / 3 » ats 2001 |
ATS
2001
IEEE
13 years 8 months ago
2001
IEEE
ATS
2001
IEEE
13 years 8 months ago
2001
IEEE
ATS
2001
IEEE
13 years 8 months ago
2001
IEEE
ATS
2001
IEEE
13 years 8 months ago
2001
IEEE
This paper develops a framework to support trace theoretic verification of timed circuits and systems. A theoretical foundation for classifying timed traces as either successes or...
ATS
2001
IEEE
13 years 8 months ago
2001
IEEE
Testing embedded cores in a System-on-a-chip necessitates the use of a Test Access Mechanism, which provides for transportation of the test data between the chip and the core I/Os...