Where available, the presenter slides and recording is available on our website.
Tag Archives: Formal Verification
TVS Joins OneSpin Partner Program
“Partnering with OneSpin will offer great leverage for both companies, especially since TVS has more than 70 verification engineers worldwide,” concludes Dr. Mike Bartley, CEO and founder of TVS. “Under the Spinnaker program, we’ll be able to combine our expertise … Read More
Benchmark your verification challenges and methodology
A unique opportunity to hear the latest “state of the industry” Mike Bartley will give a brief overview of the Verification Challenges faced by 15 semiconductor companies from Europe and India. Harry Foster will highlight today’s emerging verification trends to … Read More
Resolve your verification problems – Verification Futures India 2013
If you are a Verification professional, you cannot afford to miss the Verification Futures conference on 19th March 2013 at Hotel Royal Orchid, Bangalore. The who’s-who of the Verification industry will be in attendance presenting, discussing and resolving those complex … Read More
Recordings available from Verification Futures 2012
I am pleased to announce the availability of some of the recordings from the TVS Verification Futures 2012 conferences held across Europe during November. The recordings contain the slides and the speaker explanation – so give a lot of value … Read More
Tackling the European challenges in verification
EETimes Europe asked Mike Bartley of leading verification house TVS to look at how European companies see the challenges and possible solutions. Read the article here. The major silicon companies inEuropesee the rise in design complexity as a major verification … Read More
Practical Application of Model Checking – a Taxonomy of Methodologies
Model Checking promises so much potential but how do we ensure we maximise the ROI? It helps by first trying to have a language to discuss how we can apply it: Bug Avoidance: In this application of model checking the … Read More
Call for Papers for Verification Futures 2012
“Verification Futures” is a 1 day conferences organised by TVS to discuss the challenges facing the industry over next 5 years. The first conference was held in the UK in 2011. The second is planned for European Verification week of … Read More
Research Post in Verification Available at Bristol University
Research Assistant/Associate in Verification of Autonomous Systems – Full-time five year fixed-term contract (click here to see the full job advert and to apply ref. 17211) Based in the Faculty of Engineering hosted by the Bristol Robotics Laboratory, this is an … Read More
Formal Discussions at DAC
Model Checking promises so much potential but how do we ensure we maximise the ROI? It helps by first trying to have a language to discuss how we can apply it: Bug Avoidance: In this application of model checking the … Read More