Verification
topic on 5 shows · 6 statements across 5 episodes
Latent Space 
No Priors 
the MAD Podcast 
the a16z Podcast 
Big Technology
6 statements about Verification, every show
Haas: Verification and validation take more time in chip design than RTL
“Chip design can take anywhere from 24 to 36 months, depending on the complexity of the chip, et cetera. The actual design of the architecture, the RTL generation, if you will, the mapping of the architecture, Is not the largest amount of time. The largest amou…”
Haneke: ASIC verification takes 3 to 4 times more resources than design
“My understanding is that the industry standard for design to verification in ASIC ASIC project is like one to three, one to four.”
Hong: Verification is the best first commercial market for Axiom
“The DNA of the company is math. We think that verification is the best first market.”
Balaji Srinivasan: AI splits engineering into prompt-writers and verifiers
“Engineering gets split into the engineering manager type person who's writing the prompts, and the technician is doing the verification.”
Mathematical AI unlocks solutions for verification and optimization
“I think through solving math, we also realize that it can solve a lot of other problems, such as verification, such as optimization, et cetera.”