Pinned Loading

1. BoM_Analyzer BoM_Analyzer Public

   Tool for Bill of Materials Analysis - Created for Cal Poly CPE Capstone 2023-2024

   Python

2. PAIG5.2 PAIG5.2 Public

   Extending PAIG to have a type checker

   Racket

3. Snake-in-RISC-V Snake-in-RISC-V Public

   SystemVerilog

4. Rasterizer Rasterizer Public

   RTL for a Custom Hardware Rasterizer written in System Verilog, Final Project for CPE 470

   Verilog

5. OtterMCU OtterMCU Public

   Updating and Verifying Cal Poly's RV32I_Zicsr "Otter" Core

   Verilog 3

6. riscv-formal riscv-formal Public

   Forked from YosysHQ/riscv-formal

   RISC-V Formal Verification Framework

   Verilog