pheaver / netlist-verilog
Netlist and Verilog Haskell Package
☆18Updated 13 years ago
Related projects: ⓘ
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Updated 8 years ago
- Useful utilities for BAR projects☆31Updated 8 months ago
- Collection of test cases for Yosys☆17Updated 2 years ago
- System on Chip with RISCV-32 / RISCV-64 / RISCV-128☆19Updated this week
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated last year
- SCARV: a side-channel hardened RISC-V platform☆24Updated last year
- Open source fpga project leveraging vtr CAD flow.☆26Updated last year
- ☆18Updated 4 years ago
- ☆22Updated 11 months ago
- Implementation of RISC-V RV32IM. Simple in-order 3-stage pipeline. Low resources (e.g., FPGA softcore).☆33Updated 8 years ago
- Benchmarks for Yosys development☆21Updated 4 years ago
- Designs for Process-Voltage-Temperature (PVT) Sensors with MCU☆20Updated 4 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆29Updated 3 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆47Updated 8 years ago
- Provides a packaged collection of open source EDA tools☆12Updated 5 years ago
- ☆28Updated 4 years ago
- Open Processor Architecture☆26Updated 8 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 5 years ago
- LIS Network-on-Chip Implementation☆28Updated 8 years ago
- A Verilog Synthesis Regression Test☆33Updated 5 months ago
- RISC-V BSV Specification☆17Updated 4 years ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Capture retired instructions of a RISC-V Core and compress them to a sequence of packets.☆16Updated 6 months ago
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆11Updated 8 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 2 months ago
- The PE for the second generation CGRA (garnet).☆16Updated 2 weeks ago
- A Verilog parser for Haskell.☆32Updated 3 years ago
- Rapidly deploy Chisel and Vivado HLS accelerators on Xilinx PYNQ☆32Updated 6 years ago
- 🔁 elastic circuit toolchain☆30Updated 2 years ago
- An online Verilog IDE based on YosysJS.☆24Updated 8 years ago