leviathanch / SITCONLinks
Slides for the talk I have very soon
☆12Updated 6 years ago
Alternatives and similar repositories for SITCON
Users that are interested in SITCON are comparing it to the libraries listed below
Sorting:
- ABC: System for Sequential Logic Synthesis and Formal Verification☆28Updated 2 weeks ago
- A Verilog parser for Haskell.☆34Updated 3 years ago
- An online Verilog IDE based on YosysJS.☆24Updated 9 years ago
- 1st Testwafer for LibreSilicon☆15Updated 6 years ago
- chipy hdl☆17Updated 7 years ago
- Untethered (stand-alone) FPGA implementation of the lowRISC SoC☆56Updated 5 years ago
- RISC-V instruction set CPUs in HardCaml☆15Updated 8 years ago
- Altera MAX V bitstream documentation -- CLEANUP PENDING☆19Updated 5 years ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆14Updated 5 years ago
- Random ideas and interesting ideas for things we hope to eventually do.☆87Updated 3 years ago
- 1st Testwafer for LibreSilicon☆28Updated 5 years ago
- firrtlator is a FIRRTL C++ library☆21Updated 8 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated 2 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated this week
- DyRACT Open Source Repository☆16Updated 9 years ago
- A bit-serial CPU☆19Updated 5 years ago
- Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentaion (Reverse Engineered)☆34Updated 3 years ago
- a parallel sorting algorithm implemented in hardware that sorts data in linear time as it arrives serially☆40Updated 9 years ago
- RISC-V port to Parallella Board☆12Updated 8 years ago
- A Qt5 based free VLSI development tool☆30Updated 7 years ago
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆57Updated 5 years ago
- ⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform☆51Updated 3 years ago
- Enigma in FPGA☆29Updated 6 years ago
- A networked FPGA key-value store written in Clash☆28Updated last year
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆73Updated 5 years ago
- SPI core☆14Updated 5 years ago
- The BERI and CHERI processor and hardware platform☆49Updated 8 years ago
- autorouter forked from https://www-soc.lip6.fr/git/coriolis.git☆15Updated 7 years ago
- Single, dual, quad, eight, and sixteen-shader GP-GPU-Compute engines, along with 32-bit SYMPL RISC CPU and Coarse-Grained Scheduler, in o…☆22Updated 6 years ago