fish fry
Subscribe Now

The Sky is the Limit

Drones, Formal Verification, and A Move Toward System C

In this week’s Fish Fry, we look to the skies for the next big thing in verification technology – formal verification. Dave Kelf from OneSpin joins us to discuss the past, present, and future of formal verification, what formal does that simulation does not, and details of OneSpin’s “Game of Drones” contest. Then, in keeping with our airborne theme, we take a closer look at a new drone called “Deep Purple” developed by the US Army’s Edgewood Chemical and Biological Center – designed specifically to sniff out biological and chemical agents in the air.


 

Download this episode (right click and save) 

Links for September 2, 2016

More information about OneSpin Solutions

ECBC Tests Chemical, Biological Sensor Integration in Utah Desert

New Episode of Chalk Talk: Six Hidden Costs of Wireless SoC Design

Leave a Reply

featured blogs
Dec 17, 2018
If row-based placement is a topic that interests you, you might have read our post from the last week . If you haven'€™t read it yet, I'€™d highly recommend it for its focus on the need and benefits of... [[ Click on the title to access the full blog on the Cadence Commu...
Dec 13, 2018
In November, we continued our mobile updates to the website, released a couple of new content experiences, and made placing sample requests even easier. Read more below on these and the rest of the major updates to Samtec.com for November 2018. Continued Improvements to our M...
Dec 12, 2018
The possibilities for IoT devices, much like the internet itself, are endless. But with all of those possibilities comes risks....
Nov 14, 2018
  People of a certain age, who mindfully lived through the early microcomputer revolution during the first half of the 1970s, know about Bill Godbout. He was that guy who sent out crudely photocopied parts catalogs for all kinds of electronic components, sold from a Quon...