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»
14 years 8 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»
14 years 1 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
14 years 8 months ago
A Study in Coverage-Driven Test Generation
Mike Benjamin, Daniel Geist, Alan Hartman, G&eacut...
IFIP
2001
Springer
14 years 2 days 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
14 years 3 days 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...