Verification Challenges from HPE

Conference: Verification Futures 2016 (click here to see full programme)
Speaker: Jon Buckingham (R&D Engineer)
Organisation: Hewlett Packard Enterprise
Presentation Title: Verification Challenges from HPE
Abstract:
  • Measuring distinct and useful coverage from fpga prototypes
  • Getting realistic system use coverage from separate verification team
  • Catching all the show stopping defects
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.
Slides
Presentation: