Laurent Arditi , ARM

Name: Laurent Arditi
Designation: Principal Engineer, Formal Verification Expert
Challenges:
  • Design for Verification
  • Coherency Verification
  • Formal for the Masses

Biography: Laurent received his PhD on formal verification of microprocessors in 1996 from the University of Nice – Sophia Antipolis, France.  Laurent then worked on modeling techniques and semi-formal verification for Texas Instruments, then on high-level synthesis for Esterel Technologies.  He has been working for ARM for 7 years, first as a modeling engineer, now as formal verification expert.  As such, he is building the strategy for a wider usage of formal verification within ARM.

Verification Futures Conference Presentation                                                                         Video Presentation