TVS staff regularly produce subject matter articles that are published by recognised industry journals and bodies.

Mike Bartley presented on Virtual Platform verification at Embedded World in February 2013 in Nuremberg

Paper on FPGA verification presented by Mike Bartley at the NMI event in February 2013. Mike specifically looked at using Advanced Verification Techniques without throwing away all your current FPGA verification

Paper on Achieving ISO 26262 compliance in Silicon and how to pass useful signoff data to software testing, post-silicon validation and through the supply chain

Mike Bartley presented slides on Innovations for Testing Parallel Software at EuroSTAR 2012 in Amsterdam during November 2012

Mike Bartley and Francois Cerisier presented a paper and slides on Interconnect Verification at IPSOC2012 at Grenoble in November 2012

Mike Bartley and Suresh Babu prepared a paper on how to transition from OVM to UVM

Mike Bartley and Francois Cerisier presented a paper and slides on “Agile Techniques in Hardware Development at IPSOC2012 in Grenoble during November 2012″. A Video of the presentation is also available

Mike Bartley and Serrie Chapman presented a paper on ISO26262 at AAE (an automotive conference) in November 2012

Mike Bartley presented a paper on “Adopting UVM” at DAC 2012

TVS presented the following poster written jointly with ARM and Jasper based on the following abstract at DAC 2012

Paper from DVCon Feb 2012 “Benchmarking Functional Verification” by Mike Benjamin and Mike Bartley

TVS paper on Formal Verification delivered at the Jasper UK Conference in Feb 2012

Paper from TVS-India on “Efficient Project Management and Verification Sign-off Using Questa Verification Management” in the Mentor Verification Horizons Feb 2012 Edition

“Experiences in Automating Requirements Based Testing” – Testing Experience, December 2011

Talk on “Knowing When You’re Done with Your Requirements” by Mike Bartley at the NMI Embedded Automotive Event in November, 2011

“Testing Concurrent Software”, Shmuel Ur, Bristol University, November 2010

“The Economics of Verification”, Mike Bartley, Silicon South-West, April 2010

“Integrating Ethernet CMS with Internal Verification Environments”, Mike Bartley, Cadence Verification Challenge, April 2010

“Migrating to UVM: how and why”, Mike Bartley, SNUG UK, Reading, May 2010

“How to Build & Maintain a Successful Outsourced, Offshored Testing Partnership”, TestingExperience, March 2009.

“Improved time to market through automated software testing”, TestingExperience, December 2008.

Article on the shortage of hardware verification engineers

ARM based SoC Verification Methodology by Abey Thomas

ARM formalized in HOL, Anthony Fox, Computer Laboratory, University of Cambridge

Harry Foster, Chief Verification Scientist at Mentor “Industry Trends Compare and Contrast”, University of Bristol, April 2010 (WARNING! 8MB file)