Verification Challenges from HPE2018-02-23T10:08:44+00:00
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: