5. MTV 2004:
Austin,
TX,
USA
Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), Common Challenges and Solutions, 08-10 September 2004, Austin, Texas, USA.
IEEE Computer Society 2004, ISBN 0-7695-2320-X BibTeX
Introduction
Session A:
Functional Test Generation
Session B:
SOC Test
Session C:
Modeling and Verification Method
Session D:
SAT and Applications
Session E:
Functional Verification
- Mark Litterick, Joachim Geishauser:
Robust Vera Coding Techniques for Gate-Level and Tester-Compliant SoC Verification Environments.
64-78
Electronic Edition (link) BibTeX
- Prabhat Mishra, Nikil D. Dutt, Yaron Kashai:
Functional Verification of Pipelined Processors: A Case Study.
79-84
Electronic Edition (link) BibTeX
- Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli:
A Verification Methodology for Reconfigurable Systems.
85-90
Electronic Edition (link) BibTeX
Session F:
Advanced Test
- M. Moiz Khan, Spyros Tragoudas, Magdy S. Abadir, Jiang Brandon Liu:
Identification of Gates for Covering all Critical Paths.
92-96
Electronic Edition (link) BibTeX
- Xiang Lu, Zhuo Li, Wangqi Qiu, D. M. H. Walker, Weiping Shi:
A Circuit Level Fault Model for Resistive Shorts of MOS Gate Oxide.
97-102
Electronic Edition (link) BibTeX
- Jing Zeng, Magdy S. Abadir, G. Vandling, Li-C. Wang, S. Karako, Jacob A. Abraham:
On Correlating Structural Tests with Functional Tests for Speed Binning of High Performance Design.
103-109
Electronic Edition (link) BibTeX
Special Session G:
Micro-Architecture Verification
Copyright © Sat May 16 23:30:59 2009
by Michael Ley (ley@uni-trier.de)
