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
Mar 5, 2021
Design companies often work with multiple PCB fabricators and each fabricator may have a different set of DFM rules. It is a customary practice followed by design companies to create a common... [[ Click on the title to access the full blog on the Cadence Community site. ]]...
Mar 4, 2021
Like so many things, I started off by saying '€œOoh, Shiny!'€ But I ended up thinking, '€œJust a minute, how does that actually work in the real world?'€...
Mar 4, 2021
3D ICs help SoC designers extend the design scale beyond Moore's Law; learn how unified 3D IC design tools enable faster convergence for multi-die chips. The post Onward and Upward: Enhancing 3DIC Design Productivity with a Unified Platform appeared first on From Silicon To ...
Mar 3, 2021
In grade school, we had timed math quizzes. With a sheet full of problems and the timer set, the goal was to answer as many as possible. The key to speed is TONS of practice and, honestly, memorization '€“ knowing the problems so well that the answer comes to mind at first ...

featured paper

Ultra Portable IO On The Go

Sponsored by Maxim Integrated

The Go-IO programmable logic controller (PLC) reference design (MAXREFDES212) consists of multiple software configurable IOs in a compact form factor (less than 1 cubic inch) to address the needs of industrial automation, building automation, and industrial robotics. Go-IO provides design engineers with the means to rapidly create and prototype new industrial control systems before they are sourced and constructed.

Click here to download the whitepaper

Featured Chalk Talk

Magnetics for High Voltage

Sponsored by Mouser Electronics and Bourns

With today’s trend toward ever-increasing voltages in energy systems, choosing the right transformer for the job has become an engineering challenge. High voltages demand careful attention to insulation, clearance, and creepage. In this episode of Chalk Talk, Amelia Dalton chats with Cathal Sheehan of Bourns about choosing magnetics for high-voltage applications.

More information about Bourns Magnetics for High Voltage Applications