Making your products more Reliable, Safe and Secure

Digimakers – How to get children and teachers engaged in computing and technology

The latest Digimakers event in Bristol once again saw a large group of young people having great fun with computing, something which can only help inspire the next generation of technical innovators and engineers. For far too long Computing has been equated with IT which turns a lot of children away. Digimakers lets people see [...]

2014-10-28T09:33:53+00:0028th October, 2014|Events, Thought Leadership, TVS-Bristol|

July DVClub – An Efficient Methodology to Find Bugs with ABV

The next DVClub will be taking place on Monday, 7th July with locations in Bristol, Cambridge, Eindhoven, Grenoble, Sophia Antipolis and by Remote Access.  Laurent Arditi a Principal Engineer at ARM France will be joining the Sophia Antipolis venue to talk about ‘An Efficient Methodology to Find Bugs with ABV (Assertion Based Verification)’. This presentation [...]

July DVClub on “Assertion Based Verification” – Call for Papers

Our next DVClub will be held on Monday, 7th July 2014 and would like to invite you to share a story which would be relevant to the topic of Assertion Based Verification.  The DVClub takes place across Europe with venues in Bristol, Cambridge, Eindhoven, Grenoble and Sophia and with Remote Access available, reaches around the [...]

Only a few more days to Formal Verification

With only two days to the Formal Verification Conference, have you got your ticket?  Join us on Thursday, 15th May where you will be able to listen to speakers from Cadence, Jasper Design Automation, Mentor Graphics, OneSpin Solutions, Synopsys, Dialog Semiconductor, Infineon Technologies, Broadcom as well as two distinguished speakers from the Universities of Oxford [...]

2015-01-19T11:01:00+00:0013th May, 2014|Events, Hardware Verification, TVS-Bristol|

Join OneSpin Solutions and Synopsys for Formal Verification

Join us on Thursday, 15th May 2014 for the annual Formal Verification Conference in Reading where you will be able to listen to Sergio Marchese a Senior Field Application Engineer with OneSpin Solutions.  He will be talking about Safety Critical Component Verification Leveraging Formal Techniques and how the use of formal techniques to apply elements [...]

2015-01-19T11:13:26+00:007th May, 2014|Hardware Verification, TVS-Bristol|

Verification Qualification DVClub Slides now Available

The April DVClub on Verification Qualification was another successful event with talks from Synopsys, Infineon, OneSpin Solutions, Dialog Semiconductors and Cray Ltd.  If you were unable to attend, or if you did and would like to review the slides, they are now available on the TVS website without having to log in, after 5th May [...]

Last Chance to Register for Verification Qualification at April DVClub

The next DVClub will take place on Monday, 28th April 2014 in Bristol, Cambridge, Grenoble, Sophia and if you are unable to attend in person you can register for Remote Access.  The topic under discussion is Verification Qualification and with speakers from Synopsys, Infineon, Dialog Semiconductors, OneSpin Solutions and Cray Ltd it promises to be [...]

2015-01-19T11:53:38+00:0025th April, 2014|Hardware Verification, TVS-Bristol, TVS-France|

DVClub – C/C++ Verification Effectiveness

The next DVClub is taking place on Monday, 28th April 2014 where Jean-Marc Forey of Synopsys will be talking about C/C++ Verification Effectiveness and how it is now pervasive in design conception, either through models at different stages of the design creation or by being embedded as firmware in the design itself.  If you have [...]