[clean-list] Final CFP: MTV'02 deadline on March 25

mvelev@ece.gatech.edu mvelev@ece.gatech.edu
Thu, 14 Mar 2002 03:33:39 -0500 (EST)


                          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 (abadir@ibmoto.com), Motorola 
Program Chair: Li-C. Wang (licwang@ece.ucsb.edu), 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