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