Sciweavers

714 search results - page 18 / 143
» Verification and Compliance Testing
Sort
View
58
Voted
DAC
2006
ACM
15 years 6 months ago
Building a verification test plan: trading brute force for finesse
J. Bergeron, H. Foster, A. Piziali, R. S. Mitra, C...
78
Voted
COMPSAC
2005
IEEE
15 years 6 months ago
Model-Based Software Testing and Verification
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur
DAC
2004
ACM
15 years 6 months ago
Industrial experience with test generation languages for processor verification
Michael L. Behm, John M. Ludden, Yossi Lichtenstei...
80
Voted
ICCAD
2003
IEEE
103views Hardware» more  ICCAD 2003»
15 years 6 months ago
Static Verification of Test Vectors for IR Drop Failure
Aman Kokrady, C. P. Ravikumar
TAP
2010
Springer
92views Hardware» more  TAP 2010»
15 years 5 months ago
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernha...