Popular repositories

1. Forvis_RISCV-ISA-Spec Public

   Formal specification of RISC-V Instruction Set

   Haskell 85 17

2. Bluespec_BSV_Tutorial Public

   Bluespec BSV HLHDL tutorial

   Bluespec 58 18

3. ICFP2020_Bluespec_Tutorial Public

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

   HTML 34 9

4. RISCV_Piccolo_v1 Public

   Implementation of RISC-V RV32IM. Simple in-order 3-stage pipeline. Low resources (e.g., FPGA softcore).

   Verilog 29 3

5. RISCV_ISA_Spec_Tour Public

   Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)

   HTML 26 4

6. Bluespec_BSV_Formal_Semantics Public

   Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document

   Haskell 17 4