MTV 2015 Recap

MTV 2015 was held on December 3-4, 2015 and it was very successful and very well attended by experts from around the globe. The full two-day program featured a keynote speech, invited talks by verification experts, seven technical paper sessions and three panels on mixed signal verification, emulation and verification collateral reuse. There were also three special sessions on the hot topic of Security Verification. To encourage and promote technical exchange among the attendees continental breakfast and lunch were provided on both days. As customary, MTV attendees enjoyed a lavish banquet dinner at Fogo De Chao Brazilian restaurant in downtown Austin. On Dec 2 a tutorial on virtual prototyping was organized at the Norris Conference Center. The final technical program of MTV 2015 is available via the link on the left.

Announcing MTV 2016

The 17th annual workshop on Microprocessor and SOC Test and Verification will be held in Austin, TX on Dec 12-13, 2016. Please consult the Call-for Papers for important information and deadlines.

General Chair: Magdy S. Abadir
Program Co-Chair: Jay Bhadra, NXP Semiconductor
Program Co-Chair: Li-C. Wang, University of California at Santa Barbara
Vice Program Chair: Wen Chen, NXP Semiconductor


The purpose of MTV is to bring researchers and practitioners from the fields of verification and test together to exchange innovative ideas and to develop new methodologies to solve the difficult challenges facing us today in various processor and SOC design environments. In the past few years, some work has been done on exploiting techniques from test to solve problems in verification and vice versa. This is the 17th edition of the MTV Workshop, a testament to its success in providing an ideal environment for cross- examination of test and verification experiences and innovative solutions.

Areas of Interest include

  • Test/Verification challenges of IoT
  • Security verification
  • Performance verification
  • High-level test generation for functional verification
  • Emulation techniques and FPGA prototyping
  • Triage and debug methodologies
  • Silicon debugging
  • Low-power verification
  • Formal techniques and their applications
  • Verification coverage
  • Validation of microprocessors and SOCs
  • Software verification
  • Hardware/software co-design and co-verification
  • IP Verification methodologies
  • Design for Testability (DFT) or Verifiability (DFV)
  • Memory and coherency verification
  • Assertion synthesis
  • Analog & Mixed-Signal circuit verification
  • Data analytics
  • Innovative test and verification EDA tools
  • ESL design and Virtual Platforms
  • Agile Verification
© 2001 - 2016 Microprocessor Test and Verification

Page optimized by WP Minify WordPress Plugin