Do You Have to Do Formal Verification Over the Whole Design?

I remember a lot of times for chips I'd worked on in the past, we would like split the design into like pieces that were sort of mission critical. And then other pieces we'd do sort of like statistical verification. It's really in areas, the arithmetic is really the place where you mostly want to formally verify things. If you can tolerate mistakes like Bitcoin and other applications are like that too, then you don't have to do any form of verification. You can use sort of statistical answers and sort of avoid most testing, right? And say, if I'm right 99% of the time, that's good enough.

Transcript

Play full episode

Transcript

Episode notes

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!

Get the app