Making your products more Reliable, Safe and Secure

Upcoming Events Blog

Can Formal Verification Help Make Robotic Assistants Trustworthy?

Dr Clare Dixon from the University of Liverpool to present keynote address at Formal Verification 2017 – sharing her experiences from the EPSRC-funded Trustworthy Robot Assistants project June 1st 2017,  Bristol, UK. - Test and Verification Solutions (T&VS) today announced details of the keynote presentation and the full program of technical presentations and panel discussion [...]

2017-05-31T14:39:12+00:001st June, 2017|Active Event, Events, Press Releases, Upcoming Events|

See T&VS at DVCon Europe 2015 : 11-12 November, Munich.

After a very successful launch in 2014, we can now look forward to an even bigger and better DVCon Europe 2015 in Munich on November 11-12. Sponsored by the Accellera Systems Initiative, DVCon is a long established event in the USA but now also runs in Europe and India, with DVCon Europe rapidly establishing itself as the major European Design and [...]

2017-05-12T10:24:46+00:0029th October, 2015|Active Event, Events, Upcoming Events|

AESIN 2015 – Ensuring Automotive System Integrity through Advanced Software Verification

The rising tide of opportunities for electronics in the automotive brings with it various technical hurdles not the least of which is ensuring system integrity. Consider for example ADAS (Advanced Driver Assistance Systems) where the operating environments are so complex and so diverse that traditional approaches no longer scale. […]

“Challenges and Traps in UVM adoption” at DVClub, Bangalore on 2 September

At DVClub, Bangalore on 2 September, Rambabu Maddali from Audience Communications will present on “Challenges and Traps in UVM adoption”. If you are a verification professional working on UVM, you cannot afford to miss this presentation! This presentation will highlight System Verilog based Constrained Random Verification methodologies which have been talked about for the last [...]

2014-08-13T10:06:45+00:0012th August, 2014|DVClub, Events, Upcoming Events|

Call for Papers for next Europe DVClub focused on Performance Verification

The next Europe DVClub on Monday September 8th has a focus on Performance Verification (note this is verifying performance of the DuT or SoC – not improving verification performance). We currently have talks on using SystemC to verify performance and by Nick Heaton of Cadence on verifying SoC performance. But we are looking for additional [...]

2014-08-13T10:07:57+00:001st August, 2014|Events, Upcoming Events|

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 [...]