EEJournal

fish fry
Subscribe Now
September 2, 2016

The Sky is the Limit

Drones, Formal Verification, and A Move Toward System C
by Amelia Dalton

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
Robot-Powered Gravitram Clock
Apr 4, 2025
Gravitrams usually employ a chain or screw lift to hoist their balls from the bottom to the top, but why not use a robot?...
More from Max's Cool Beans...

Libby's Lab

Arduino Portenta Environmental Monitoring Bundle

Sponsored by Mouser Electronics and Arduino

Join Libby and Demo in this episode of “Libby’s Lab” as they explore the Arduino Portenta Environmental Monitoring Bundle, available at Mouser.com! This bundle is perfect for engineers requiring environmental data such as temperature, humidity, and pressure. Designed for ease of use, the bundle is great for IoT, smart home, and industrial devices, and it includes WiFi and Bluetooth connectivity. Keep your circuits charged and your ideas sparking!

Click here for more information about Arduino Portenta Environmental Monitoring Bundle

featured chalk talk

SparkFun Digi X-ON Kit for LoRaWAN®
Sponsored by Mouser Electronics and Digi and Raspberry Pi and SparkFun Electronics
In this episode of Chalk Talk, Jordan Nolen from Digi, Kirk Benell from SparkFun Electronics and Chris Boross from Raspberry Pi and Amelia Dalton delve into the details of the SparkFun Digi X-ON Kit for LoRaWAN®. They examine the motivation behind the creation of this kit, the benefits that the IoT Node board for LoRaWAN brings to the table, and how the SparkFun Digi X-ON Kit for LoRaWAN can get your next design up and running in no time. 
Click here for more information about SparkFun DIGI X-ON™ Kit for LoRaWAN®
Apr 2, 2025
19,006 views