News for hackers. Stuff that matters.

A comment on Verifying ARM processors against the official ARM specification. Parent comment

Re:Verifying ARM processors against the official ARM specifi... by wolfgke on Tuesday July 26, 2016 @07:21PM (#12169454)
> It's interesting (and no coincidence?) that the one caveat with the OK Labs (now General Dynamics) verified micro-kernel was "assuming the hardware satisfies its specification".

There is also SystemVerilog.

[ Parent | on HN ]

There are no comments on this comment yet.