[UAI] Final CFP: MTV'02 deadline on March 25

From: mvelev@ece.gatech.edu
Date: Thu Mar 14 2002 - 10:00:47 PST

  • Next message: P.J.McBurney@csc.liv.ac.uk: "[UAI] CFP: AAAI Fall Symposium: Chance Discovery"

                              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

    This archive was generated by hypermail 2b29 : Thu Mar 14 2002 - 10:09:35 PST