Sciweavers

1016 search results - page 16 / 204
» Test Generation for Designs with On-Chip Clock Generators
Sort
View
VLSID
2001
IEEE
200views VLSI» more  VLSID 2001»
16 years 4 months ago
Evaluation of the Traffic-Performance Characteristics of System-on-Chip Communication Architectures
The emergence of several communication architectures for System-on-Chips provides designers with a variety of design alternatives. In addition, the need to customize the system ar...
Kanishka Lahiri, Sujit Dey, Anand Raghunathan
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
15 years 10 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
DAC
1999
ACM
16 years 4 months ago
A Study in Coverage-Driven Test Generation
Mike Benjamin, Daniel Geist, Alan Hartman, G&eacut...
IFIP
2001
Springer
15 years 8 months ago
Functional Test Generation using Constraint Logic Programming
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
Zhihong Zeng, Maciej J. Ciesielski, Bruno Rouzeyre
EVOW
2001
Springer
15 years 8 months ago
ARPIA: A High-Level Evolutionary Test Signal Generator
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...