Sciweavers

13 search results - page 1 / 3
» Evolutionary Test Program Induction for Microprocessor Desig...
Sort
View
ATS
2002
IEEE
74views Hardware» more  ATS 2002»
13 years 10 months ago
Evolutionary Test Program Induction for Microprocessor Design Verification
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
SBCCI
2005
ACM
185views VLSI» more  SBCCI 2005»
13 years 11 months ago
Automatic generation of test sets for SBST of microprocessor IP cores
Higher integration densities, smaller feature lengths, and other technology advances, as well as architectural evolution, have made microprocessor cores exceptionally complex. Cur...
Ernesto Sánchez, Matteo Sonza Reorda, Giova...
DAC
1997
ACM
13 years 9 months ago
A C-Based RTL Design Verification Methodology for Complex Microprocessor
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...
Joon-Seo Yim, Yoon-Ho Hwang, Chang-Jae Park, Hoon ...
GECCO
2005
Springer
121views Optimization» more  GECCO 2005»
13 years 10 months ago
New evolutionary techniques for test-program generation for complex microprocessor cores
Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue. Traditional functional approaches are not sufficient when cons...
Ernesto Sánchez, Massimiliano Schillaci, Ma...
DAC
2005
ACM
14 years 6 months ago
StressTest: an automatic approach to test generation via activity monitors
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 ...
Ilya Wagner, Valeria Bertacco, Todd M. Austin