Final CFP: MTV'02 deadline on March 25

mvelev@REDACTED mvelev@REDACTED
Thu Mar 14 09:33:40 CET 2002


                          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@REDACTED), Motorola 
Program Chair: Li-C. Wang (licwang@REDACTED), 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 




More information about the erlang-questions mailing list