The purpose of MTV′03 is to bring together researchers and practitioners from all areas of work related to verification and test in order to exchange innovative ideas and present new methodologies for solving the challenges facing us today in various processor and SOC design environments. <b>Keywords:</b> 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, 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
Abbrevation
MTV
City
Austin
Country
United States
Deadline Paper
Start Date
End Date
Abstract