In this week’s episode of Fish Fry, we take a closer look at the world of formal verification. Dave Kelf (OneSpin) joins us to discuss the mechanics of systematic verification and random verification and why automotive and other safety-critical applications may prove to be the most effective use of formal verification yet. We also chat about the themes found at this year’s Design Automation Conference including why Dave believes that the convergence of HLS and System-C, FPGAs, and safety-critical applications made DAC 2017 one of the most exciting conference years to date.
Download this episode (right click and save)
Links for July 7, 2017
More information about OpenSpin
New Episode of Chalk Talk – Insatiable Bandwidth: Why HBM is Right For You
Click here to check out the Fish Fry Archive.
Click here to subscribe to Fish Fry via Podbean
Click here to get the Fish Fry RSS Feed
Click here to subscribe to Fish Fry via iTunes.
————————————
Fish Fry Executive Interviews
Darrin Billerbeck, CEO – Lattice Semiconductor
Paul Kocher, President – Cryptography Research Inc.
Dave Kleidermacher, CTO – Green Hills Software
Michiel Ligthart, COO – Verific
Adnan Hamid, CEO – Breker Technologies
Jeff Waters, VP and General Manager – Altera
Simon Davidmann, CEO – Imperas
Ted Miracco, CEO – SmartFlow Compliance Solutions
Cees Links – GreenPeak Technologies
Jessica Gomez – Rogue Valley Microdevices
Shishpal Rawat, Chairman – Accellera Systems Initiative
Kevin Bromber, CEO – myDevices
Daniel Hansson, CEO – Verifyter
Dr. Steven LeBoeuf, President – Valencell
Allan Martinson, COO – Starship Technologies
Zhihong Liu, Chairman and CEO – ProPlus Solutions
Taher Madraswala, CEO and President – Open-Silicon
Kapil Shankar, CEO and Director – AnDAPT
Kim Rowe, Founder and CEO — RoweBots
Lawrence Cooke, Founder and CEO — NovaSolix
Gregg Recupero, CTO — Performance-IP
Carl Alberty, Vice President – Cirrus Logic
Maximilian Odendahl, CEO — Silexica
