In this week’s episode of Fish Fry, we take a closer look at the world of formal verification. Dave Kelf (OneSpin) joins us to discuss the mechanics of systematic verification and random verification and why automotive and other safety-critical applications may prove to be the most effective use of formal verification yet. We also chat about the themes found at this year’s Design Automation Conference including why Dave believes that the convergence of HLS and System-C, FPGAs, and safety-critical applications made DAC 2017 one of the most exciting conference years to date.
-------------------------
Links for July 7, 2017
More information about OpenSpin
Formal Verification Leader OneSpin Solutions Unveils its Comprehensive Safety Critical Solution for Automotive, Other Mission-Critical Applications
New Episode of Chalk Talk - Insatiable Bandwidth: Why HBM is Right For You
A Sea Change in Analog RF Architectures: The Future According to Direct RF
Adventures in Hybrid Processing: A New Approach for Today’s Multitasking World
Deep-Tech Disruption: How imec is Advancing Startup Innovation with Imec.DeepTechVentures
Seeing with Phlux: A New Era for Infrared Photodiode Sensor Technology
Digital Signal Processing and the AI Architecture Evolution
Space According to LEO: How Low Earth Orbit Satellite Technology Is Opening Up New Space Applications
Decision Superiority, Shared Intelligence and The Future of Battlefield AI
The Future of AI will be Sparse
Thin-Film Piezoelectric MEMS: A New Day for Exciting MEMS Applications
AI, Simulation and A New Frontier of Space Applications
High Flying Digital Signal Processing! New Design Possibilities with HiFi DSPs
The Future Will Be Spicy! Building Better Hardware More Efficiently with Allspice
New Avenues for Open Standards: Expanding VITA into Broader Markets
Lions, Tigers, and Jellyfish! Cutting-Edge Technologies for Wildlife Tracking
Solving the Unsolvable: How Technology Acceleration is Transforming Information Delivery
DVCon 2024: Seeing Beyond The Next Big Thing in EDA
The Importance of Supply Chain Resilience - Common Points of Failure, Obsolescence, and The Path Forward
The World Needs Analog: How Celera is Changing the Future of Analog Design
Better AI Needs Better Data: How FeatureByte is Radically Simplifying the AI Data Lifecycle
SoMs, CoMs, and Cutting Edge Capabilities in Open Architecture Systems
Create your
podcast in
minutes
It is Free
Wild Ducks
Cloud Computing Weekly Podcast
Changing the Game with The Intelligent Enterprise, Presented by SAP
Cyber Chat with Sean Kelley
Tech Talk