Pinned Loading

1. tclint tclint Public

   EDA-centric utility for linting and analyzing Tcl code.

   Python 27 1

2. lemoncore lemoncore Public

   Simple RISC-V processor for FPGAs 🍋 🤖

   Verilog 20

3. siliconcompiler/siliconcompiler siliconcompiler/siliconcompiler Public

   Modular hardware build system

   Python 818 83

4. siliconcompiler/zerosoc siliconcompiler/zerosoc Public

   Demo SoC for SiliconCompiler.

   SystemVerilog 51 7

5. zeroasiccorp/switchboard zeroasiccorp/switchboard Public

   Communication framework for RTL simulation and emulation.

   Python 255 19

6. kronos kronos Public

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

   Racket 15