Making your products more Reliable, Safe and Secure

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

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

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