Agile Design Using Properties and Formal Tools

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.

    • Writing properties as RTL is written is a great way to perform test driven development
    • sub blocks/modules can be unit tested with minimal TCL to create a formal “testbench”

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.
  • Presentations Slides: Pending
  • Video Presentation: Pending