4. MTV 2003:
Dallas,
TX,
USA
Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA.
IEEE Computer Society 2003 BibTeX
@proceedings{DBLP:conf/mtv/2003,
title = {Fourth International Workshop on Microprocessor Test and Verification,
Common Challenges and Solutions (MTV 2003), May 29-30, 2003,
Hyatt Town Lake Hotel, Austin, Texas, USA},
booktitle = {MTV},
publisher = {IEEE Computer Society},
year = {2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Functional Test Generation
- Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman:
DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms.
3-6
Electronic Edition (link) BibTeX
- Mrinal Bose, Mark H. Nodine, William R. Jurasz Jr., Vlad Zavadsky, Arvind Chodavadia, Lincoln R. Nunes:
Modeling IP Responses in Testcase Generation for Systems-on-Chip Verification.
7-10
Electronic Edition (link) BibTeX
- F. Hunsinger, Sebastien Francois, Ahmed Amine Jerraya:
Definition of a systematic method for the generation of software test programs allowing the functional verification of System On Chip (SoC).
11-
Electronic Edition (link) BibTeX
Special Session,
Research at University of Texas and Texas A&M
Issues in Microprocessor Test and Verification
Debug and Diagnosis
SAT and ATPG
Embedded System Validation
Case Study
High-Level Verification
Copyright © Sat May 16 23:30:59 2009
by Michael Ley (ley@uni-trier.de)
