News for hackers. Stuff that matters.

A comment on Formal Verification of Y86-64 Processors. Parent comment

Re:Formal Verification of Y86-64 Processors by kevintb on Sunday February 17, 2019 @06:53PM (#19187678)
Yes, it's widely used among universities teaching intro computer systems, I believe.
[ Parent | on HN ]

There are no comments on this comment yet.