Agile Design Using Properties and Formal Tools

Jon Buckingham, R&D Engineer at Hewlett Packard Enterprise, presented on “Agile Design Using Properties and Formal Tools” at the Verification Futures Conference “Challenges faced in Hardware Verification” on 4 Feb 2016.

Find out the Slides and Recordings here

2016-02-22T12:29:51+00:0022nd February, 2016|Active Event, Blog, Events|