Alex Orr of Broadcom recently spoke on “My first 100 days in formal-land” at the Formal verification Conference.
The recordings and slides are now available here.
Alex Orr of Broadcom recently spoke on “My first 100 days in formal-land” at the Formal verification Conference.
The recordings and slides are now available here.