Thread

1. ducktective · 1790857756 · focus · HN ↗

   A question to those active in chip design industry: Are formal methods and formally proving a design more prevalent and normal in this industry compared to general software development?

   Like for a Arm microcontroller design, do engineers thoroughly test and formally prove the correct functionality of every component? If that's the case, why silicon errata is a thing?

   1. chris_money202 · 1790858036 · focus · HN ↗

      It’s called design verification, formal proofs happen mostly at the EDA tool level and largely already automated. Design verification focus on functional correctness of the chip for its intended use case

Unofficial Hacker News client; not affiliated with Y Combinator.