Sciweavers

714 search results - page 18 / 143
» Verification and Compliance Testing
Sort
View
DAC
2006
ACM
14 years 1 months ago
Building a verification test plan: trading brute force for finesse
J. Bergeron, H. Foster, A. Piziali, R. S. Mitra, C...
COMPSAC
2005
IEEE
14 years 1 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
14 years 28 days ago
Industrial experience with test generation languages for processor verification
Michael L. Behm, John M. Ludden, Yossi Lichtenstei...
ICCAD
2003
IEEE
103views Hardware» more  ICCAD 2003»
14 years 23 days ago
Static Verification of Test Vectors for IR Drop Failure
Aman Kokrady, C. P. Ravikumar
TAP
2010
Springer
92views Hardware» more  TAP 2010»
14 years 16 days ago
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernha...