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

Want early design analysis without simulation?

Sponsored by Siemens Digital Industries Software

Traditional verification methods are failing today's complex IC designs, which require a proactive, early-stage analysis approach. A shift-left methodology addresses IP block integration challenges and the limitations of traditional simulation and ERC tools. Insight Analyzer detects hard-to-find leakage issues across power domains, enabling early analysis without full simulation. Identify inefficiencies earlier to reduce rework, improve reliability, and enhance power performance.

Click to read more!

featured chalk talk

CBOT MULTIGIG Transceiver Platform

Sponsored by Mouser Electronics and TE Connectivity

In this episode of Chalk Talk, Anders Thelin from TE Connectivity and Amelia Dalton explore how the CBOT MULTIGIG transceiver platform helps address these challenges with a modular, high-performance approach to rugged, high-density connectivity. We also investigate how this platform supports next-generation system architectures, improves design efficiency, and enables robust performance in even the most demanding environments.

Click here for more information about the TE Connectivity CBOT Evaluation Kit

May 18, 2026

11,874 views

The Sky is the Limit

Related