News for hackers. Stuff that matters.

A comment on U.S. Universities Are Building a New Semiconductor Workforce. Parent comment

Re:U.S. Universities Are Building a New Semiconductor Workforce by thebigwinning on Saturday May 20, 2023 @11:37AM (#36012801)
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.
[ Parent | on HN ]
Re:U.S. Universities Are Building a New Semiconductor Workforce by mumblingdrunk on Saturday May 20, 2023 @01:10PM (#36013657)
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.

[ Parent | on HN ]