ARM – Laurent Arditi



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


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 6 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