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

Microchip Unveils First 3 nm PCIe® Gen 6 Switch to Power Modern AI Infrastructure

Sponsored by Microchip

AI systems are starving for bandwidth. Microchip’s 3 nm Switchtec™ Gen 6 PCIe® switches deliver up to 160 lanes, lower power, and CNSA-compliant security—built for the future of AI and cloud infrastructure.

Click here to read more

featured chalk talk

Accelerating the Transition to 48V Power Systems

Sponsored by Mouser Electronics and Vicor

In this episode of Chalk Talk, Tom Curatolo from Vicor and Amelia Dalton explore the what, where, and how of 48 volt power delivery networks. They also investigate the components of a 48 volt portfolio ecosystem, the advantages of a high-density, modular power design solution and the six things to consider when transitioning to 48 volt power systems.

Click here for more information about Vicor DCM3717 High-Density 48V DC-DC Converters

Dec 2, 2025

7,443 views

The Sky is the Limit

Related