Microprocessor Test and Verification 2009 (MTV)

Venue: Hyatt Regency on Town Lake

Location: Austin, Texas, United States

Event Date/Time: Dec 07, 2009 End Date/Time: Dec 08, 2009
Abstract Submission Date: Sep 01, 2009
Paper Submission Date: Sep 01, 2009
Report as Spam


Areas of Interest

* Validation of microprocessors and SOCs
* Experiences on test and verification of high performance processors and SOCs
* Test/verification of multimedia processors and SOCs
* 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
* ESL Methodology
* Virtual Platforms
* Software verification
* 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