Laurent Arditi of ARM recently spoke on “Formal Weapons for Microprocessor Verification” at the Formal verification conference.
The recordings and slides are now available here.
Laurent Arditi of ARM recently spoke on “Formal Weapons for Microprocessor Verification” at the Formal verification conference.
The recordings and slides are now available here.