27 search results - page 1 / 6 » Design verification via simulation and automatic test patter... |
ICCAD
1995
IEEE
13 years 8 months ago
1995
IEEE
DAC
2005
ACM
14 years 5 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
CODES
2000
IEEE
13 years 9 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
DATE
2000
IEEE
13 years 9 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
ATS
2003
IEEE
13 years 10 months ago
2003
IEEE
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...