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 [...]

2015-05-13T05:56:19+00:0013th May, 2015|Active Event, Blog, Events|