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
Apr 18, 2019
China is hugely important for electronics in general and semiconductor in particular. You can't really appreciate it from the bubble of Silicon Valley, you have to go there. For the second year,... [[ Click on the title to access the full blog on the Cadence Community s...
Apr 17, 2019
Release season has once again arrived in the Electronic Board Systems division. Xpedition VX.2.5 is now available for download from Support Center. Along with updates to the general design environment, this download includes a new version of Xpedition AMS. Interested in learn...
Apr 17, 2019
Samtec.com users have had the ability to search competitor cross references for over a year as I write this post, however we received some feedback that this was not always easy to access since it was a direct integration with our search. Our users were looking for more of a ...
Jan 25, 2019
Let'€™s face it: We'€™re addicted to SRAM. It'€™s big, it'€™s power-hungry, but it'€™s fast. And no matter how much we complain about it, we still use it. Because we don'€™t have anything better in the mainstream yet. We'€™ve looked at attempts to improve conven...