Thomas Ahle: evaluation

Transcript context

…Let me just play that back so I understand it. So so Verilog, it's a bit like a programming language for describing a circuit. And what we might probably before we go and get that fabricated is we wanna do simulations because it's very expensive to get it fabricated. So yes, we can design the circuit and do simulations. Yes, exactly. It's super expensive too. It could cost you what they said like there was this famous Intel division bug in the 90s that probably cost them between $500,000,000 and $2,000,000,000 and I mean that's a lot of money in the 90s. I think there are other examples later on that nearly bankrupted some of these companies like TinyBucks that managed to make it through to the to the fab and it's yeah, it's it's a really different world again from software where we just, know, people fix stuff in prod, you just move fast and and break things. It's definitely like yeah, people are much more paranoid in the hardware industry, which is also why it's a cool place for formal verification, formal methods to thrive. Okay. So you're saying at the moment there are these commercial, you know, verifiers and simulators and they cost a ridiculous amount of money. So is is it something like $10,000…

Stored transcript either side of the excerpt. The highlighted words are the published quote; the surrounding text is unedited source, never generated.