fish fry
Subscribe Now

Adventures in Verification Land

Rolling the Dice and Spinning the Wheel

Take two steps forward and three steps back. Not all parts of our design process are created equal. In this week’s Fish Fry, we examine one of the most painful, frightening, and frustrating parts of our design process – verification. My first guest is Tom Anderson (Breker Verification Systems), and we chat about formal verification, what Breker’s new verification technology TrekSoC-Si is all about, and where you can the best vinyl in Silicon Valley. Then, continuing the formal V theme – we go to Vigyan Singhal, CEO of Oski Technology. Vigyan and I dive into the details of the “Decoding Formal Club.” The first rule of “Decoding Formal Club”? Well, we’re gonna break that one right here. Vigyan also reveals the secret behind the name “Oski”. Also this week, I investigate how Netflix is looking to read your thoughts with a little help from Amazon’s Cloud services. Better put on that foil hat!


 

Listen to this episode

Download this episode (right click and save)

Links for February 21, 2014

More information about Breker Verification Systems

More information about Oski

Netflix is building an artificial brain using Amazon’s Cloud

Netflix Blog – Distributed Neural Networks with GPUs in the AWS Cloud


Leave a Reply

featured blogs
Jun 17, 2019
eSilicon used the Tessent family of DFT solutions to solve their toughest challenges of testing a large 2.5D/3D deep learning device. Hear all about it in this 15 minute video. With over 300 tapeouts, there is no doubt that eSilicon has tons of experience getting designs don...
Jun 17, 2019
The IC6.1.8 ISR4 and ICADVM18.1 ISR4 production releases are now available for download at Cadence Downloads . IC6.1.8 ISR4 ICADVM18.1 ISR4 For information on supported platforms, compatibility with... [[ Click on the title to access the full blog on the Cadence Community si...
Jun 17, 2019
One topic that garnered much interest at the Samtec booth at the International Microwave Symposium was a dynamic stress test of Samtec’s microwave cable. This demonstration proves that our low-loss, microwave cable withstands high flex cycles and still maintains signal ...
Jan 25, 2019
Let'€™s face it: We'€™re addicted to SRAM. It'€™s big, it'€™s power-hungry, but it'€™s fast. And no matter how much we complain about it, we still use it. Because we don'€™t have anything better in the mainstream yet. We'€™ve looked at attempts to improve conven...