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 adreid on Wednesday July 27, 2016 @10:52AM (#12173261)
Thanks for the pointers to other HDLs. I was aware of Chisel but had not seen Clash before.

Another Haskell Hardware DSL is Lava: http://ku-fpg.github.io/software/kansas-lava/ Chisel is very similar to Lava in many ways although I think Chisel has been used for larger designs.

[ Parent | on HN ]
Re:Verifying ARM processors against the official ARM specifi... by FullyFunctional on Wednesday July 27, 2016 @05:57PM (#12176813)
Reduceron is written in York Lava and is not a tiny project. Lava predates Chisel, Clash, and MyHDL and in my personal opinion is superiour. There are room for more improvement though and Real Soon Now I'll start work on that.
[ Parent | on HN ]