News for hackers. Stuff that matters.

A comment on Formal Verification of Y86-64 Processors.

Re:Formal Verification of Y86-64 Processors by tyingq on Sunday February 17, 2019 @08:54AM (#19184457)
Didn't know what Y86 meant, but found this:

'The Y86 is a “toy” machine that is similar to the x86 but much simpler. It is a gentler introduction to assembly level programming than the x86. Just a few instructions as opposed to hundreds for the x86. Fewer addressing modes. Simpler system state. Absolute addressing.'

[ Parent | on HN ]
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 ]