Call for Papers
=====================================================================
Microprocessor Test and Verification (MTV'02)
June 6-7, 2002, Austin, Texas, USA
http://ece.tamu.edu/MTV/
=====================================================================
Submission deadline: March 25, 2002
Sponsored by: IEEE Computer Society Test Technology Technical Council
General Chair: Magdy S. Abadir ([EMAIL PROTECTED]), Motorola
Program Chair: Li-C. Wang ([EMAIL PROTECTED]), UCSB
Areas of Interest:
-Validation of microprocessors
-Experiences on test and verification of high performance processors
-Test/verification of multimedia processors
-Performance testing
-High-level test generation for functional verification
-Emulation techniques
-Silicon debugging
-Formal techniques and their applications
-Verification coverage
-Test generation at the transistor level
-Equivalence checking of custom circuits at the transistor level
-Circuit level verification
-Switch-level circuit modeling
-Timing verification techniques
-Path analysis for verification or test
-Design error models
-Design error diagnosis
-Design for testability or verifiability
-Optimizing SAT procedures for application to testing and formal verification
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
