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

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

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