fish fry
Subscribe to EE Journal Daily Newsletter
5 + 8 =

Driving Toward Functionality

Formal Verification and Safety Critical Designs

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

Formal Verification Leader OneSpin Solutions Unveils its Comprehensive Safety Critical Solution for Automotive, Other Mission-Critical Applications

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

Moshe Gavrielov, CEO – Xilinx

Darrin Billerbeck, CEO – Lattice Semiconductor

Paul Kocher, President – Cryptography Research Inc.

Anupam Bakshi, CEO – Agnisys

Dave Kleidermacher, CTO – Green Hills Software

Robert Blake, CEO – Achronix

Jack Harding, CEO – eSilicon

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

Mark Papermaster, CTO – AMD

David Fried, CTO – Coventor

Dr. Steven LeBoeuf, President – Valencell

David Dutton, CEO – Silvaco

Bob Niemiec, CEO – TwistThink

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

Mike Wishart, CEO – efabless 

Dan Fox, CTO – Local Motors

Kim Rowe, Founder and CEO — RoweBots

Lawrence Cooke, Founder and CEO — NovaSolix

Gregg Recupero, CTO — Performance-IP

Alan Grau, CEO — Icon Labs

Carl Alberty, Vice President – Cirrus Logic

Maximilian Odendahl, CEO — Silexica

Leave a Reply

featured blogs
Jan 18, 2018
Many system designers have been working with DDR4 RAM components in the past couple years and using them in system designs. With product demands of increasing performance and decreasing power budget, expectations for faster memory devices never stop. In 2013, even before DDR4...
Jan 17, 2018
We often take for granted the dual 12-megapixel camera collecting dust on the back of our smartphones or the fact that almost any building we enter has a sign reading “Smile, you’re on camera!”.  Cameras have gone from a mysterious “stealer of souls&...
Jan 5, 2018
When visitors to CES 2018 want to travel to the Las Vegas Convention Center across town, it will likely be in a fully autonomous vehicle from Lyft getting them there. While this futurist trip will certainly be a first for many riders, this type of point-to-point travel will s...
Jan 10, 2018
Recently, Electronics Products Magazine announced their 42nd Annual Product of the Year award winners, with Cadence Design Systems winning for their Virtuoso® System Design Platform. According to the article, the editors “have chosen [products] they......
Jan 17, 2018
In the last post, I discussed cavitation in a nozzle.  For this edition, I will discuss the phenomenon of cavitation during an external flow scenario. We looked at the definition of cavitation in the previous blog which in summary is: When the local pressure at some point i...