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 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 ]

There are no comments on this comment yet.