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 nickpsecurity on Tuesday July 26, 2016 @11:15PM (#12170259)
An old one here:

http://ghdl.free.fr/

Just found this verification toolkit Googling for the one above:

http://osvvm.org/about-os-vvm

[ Parent | on HN ]
Re:Verifying ARM processors against the official ARM specifi... by jevinskie on Wednesday July 27, 2016 @12:13AM (#12170483)
nvc (LLVM based) is also impressively complete for the number of people who have worked on it.

https://github.com/nickg/nvc

[ Parent | on HN ]