Functional verification project for the CORE-V family of RISC-V cores.

Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference