I think you also overestimate the formality in CPU design. Yes they do a lot of ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		thebigwinning on May 20, 2023 \| parent \| context \| favorite \| on: U.S. universities are building a new semiconductor... I think you also overestimate the formality in CPU design. Yes they do a lot of testing, but it's not lik an airtight mathematical document for the whole chip.

mumblingdrunk on May 20, 2023 [–]

This reminds me of an article I read a while ago https://alastairreid.github.io/mrs-at-scale/

MRSs would enable much more of the formal verification parts to be generated.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact