Pinned

1. tclint tclint Public

   EDA-centric utility for linting and analyzing Tcl code.

   Python 18

2. lemoncore lemoncore Public

   Simple RISC-V processor for FPGAs 🍋 🤖

   Verilog 21

3. siliconcompiler/siliconcompiler siliconcompiler/siliconcompiler Public

   A modular build system for hardware

   Python 775 82

4. siliconcompiler/zerosoc siliconcompiler/zerosoc Public

   Demo SoC for SiliconCompiler.

   SystemVerilog 49 7

5. zeroasiccorp/switchboard zeroasiccorp/switchboard Public

   Communication framework for RTL simulation and emulation.

   Python 235 17

6. kronos kronos Public

   My MEng thesis code - verifying a security property for an SoC with Rosette

   Racket 15