formal methods

May 22, 2017
Ashish Darbari is CEO of formal verification consultancy Axiomise and a Royal Academy of Engineering visiting professor at the University of Southampton.

Introducing Doc Formal: the journey so far

Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.
May 6, 2015
Formality featimg

Fixing late ECOs in ARM core subsystems at STMicroelectronics

Using equivalence checking to validate ECOs in ARM core subsystem development at STMicroelectronics


Synopsys Cadence Design Systems Mentor - A Siemens Business
View All Sponsors