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 moflome on Tuesday July 26, 2016 @07:52PM (#12169619)
The novel aspect is "formal verification" methods[0] the author is describing, especially involving "human readable" ISA specifications and HDL's.

[0] https://embedded.eecs.berkeley.edu/research/vis/doc/VisUser/....

[ Parent | on HN ]

There are no comments on this comment yet.