Popular repositories Loading

1. Bluespec_BSV_Tutorial Bluespec_BSV_Tutorial Public

   Bluespec BSV HLHDL tutorial

   Bluespec 105 26

2. Forvis_RISCV-ISA-Spec Forvis_RISCV-ISA-Spec Public

   Formal specification of RISC-V Instruction Set

   Haskell 100 19

3. Learn_Bluespec_and_RISCV_Design Learn_Bluespec_and_RISCV_Design Public

   Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)

   Bluespec 78 13

4. ICFP2020_Bluespec_Tutorial ICFP2020_Bluespec_Tutorial Public

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

   HTML 73 12

5. RISCV_ISA_Spec_Tour RISCV_ISA_Spec_Tour Public

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

   HTML 36 5

6. RISCV_Piccolo_v1 RISCV_Piccolo_v1 Public

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

   Verilog 34 7