This week we’re saddling up and taking a ride into the Wild West, where the days are long and the code is even longer. We’re talking about the rough and tumble, SystemC slingin’, HLS wranglin’ assertion-based formal verification. Dave Kelf (OneSpin Solutions) rides with us across the dusty EDA plains of RTL design where we unveil why RTL (and above) is called the Wild West of Design, who exactly is playing sheriff in these here parts, and how design and verification at the RTL level can be corralled once and for all. Also this week, we address the most recent rumors surrounding the Intel/Altera buyout deal and investigate the newest (and coolest) smartwatch this side of the Mississippi – an Enigma machine for your wrist!

Download this episode (right click and save)

Links for April 10, 2015

More information about OneSpin Solutions

OneSpin Delivers First SystemC Assertion-Based Formal Verification Solution

An Alan Turing fan made an Enigma machine for your wrist

Asciimation’s step-by-step guide to creating an Enigma machine for your wrist