[mizar] Final CFP: MTV'02 deadline on March 25 (fwd)

[Czeslaw Bylinski <bylinski@math.uwb.edu.pl>]

---------- Forwarded message ----------
Date: Thu, 14 Mar 2002 03:33:41 -0500 (EST)
From: mvelev@ece.gatech.edu
To: mizar-forum@mizar.uwb.edu.pl
Subject: Final CFP: MTV'02 deadline on March 25


                          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