|Conference:||Verification Futures 2016 (click here to see full programme)|
|Speaker:||Jon Buckingham (R&D Engineer)|
|Organisation:||Hewlett Packard Enterprise|
|Presentation Title:||Agile Design Using Properties and Formal Tools|
|Abstract:||An important part of the “Agile” development process is regular releases of incremental functionality, using a “test driven development” process (TDD). Writing properties to verify functionality, and proving them at sub block level using formal model checking tools is an ideal way of implementing TDD as part of an “Agile” process.
all the properties are available “for free” for subsequent simulation
|Speaker Bio:||I have been an ASIC designer for about 20 years, working on DDS and LTO tape drive formatting, compression, encryption and other security features. I now work on HPE StoreServ products providing software accelerators and advanced PCIe functions. I have been interested in formal verification since seeing a presentation by Harry Foster and attending DAC99. For the last 10 years or so I have been seriously using properties and formal proofs as an integral part of the design process.|