Formal weapons for Microprocessor Verification

Laurent Arditi of ARM will speak on “Formal weapons for Microprocessor Verification”. The usage of formal verification within ARM is much wider than only Assertion Based Verification. We use formal techniques to hunt for many different classes of bugs, and have developed a range of flows with different focuses.

We have also developed some best practices and tricks to increase the efficiency of formal verification, while make it usable by the masses. The presentation will show how this has been use in practice on several microprocessor design and validation projects , and will focus on the following major points:

Formal verification has many application areas

Formal verification is highly efficient to find bugs in designs

Knowledge sharing about best practices is essential

The free one day conference is held at Reading, UK on Thursday, 21 May and you have the option to attend in person or via remote access. Attendees will gain from the event whether they are just trying to learn how to apply formal verification or expert users.

Places are limited and this event often sells out so we recommend early registration.