pheaver / netlist-verilogLinks
Netlist and Verilog Haskell Package
☆18Updated 14 years ago
Alternatives and similar repositories for netlist-verilog
Users that are interested in netlist-verilog are comparing it to the libraries listed below
Sorting:
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Updated 8 years ago
- Open source fpga project leveraging vtr CAD flow.☆26Updated 2 years ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- Designs for Process-Voltage-Temperature (PVT) Sensors with MCU☆22Updated 5 years ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated 2 years ago
- Medium Access Control layer of 802.15.4☆12Updated 10 years ago
- Benchmarks for Yosys development☆24Updated 5 years ago
- A Verilog parser for Haskell.☆34Updated 3 years ago
- SCARV: a side-channel hardened RISC-V platform☆27Updated 2 years ago
- Provides a packaged collection of open source EDA tools☆12Updated 6 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 5 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- Useful utilities for BAR projects☆31Updated last year
- A Verilog Synthesis Regression Test☆37Updated last year
- Implementation of RISC-V RV32IM. Simple in-order 3-stage pipeline. Low resources (e.g., FPGA softcore).☆34Updated 8 years ago
- AXI X-Bar☆19Updated 5 years ago
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Updated 9 years ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆36Updated 4 years ago
- Hardware implementation of the SipHash short-inout PRF☆17Updated 2 months ago
- Open Processor Architecture☆26Updated 9 years ago
- OpenFPGA☆34Updated 7 years ago
- An online Verilog IDE based on YosysJS.☆24Updated 9 years ago
- RISC-V BSV Specification☆20Updated 5 years ago
- System on Chip with RISCV-32 / RISCV-64 / RISCV-128☆22Updated last month
- A library and command-line tool for querying a Verilog netlist.☆27Updated 3 years ago
- OpenDesign Flow Database☆16Updated 6 years ago
- Wavious DDR (WDDR) Physical interface (PHY) Software☆20Updated 3 years ago
- RISC-V RV32I CPU written in verilog☆10Updated 4 years ago
- A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)☆20Updated 7 years ago
- LIS Network-on-Chip Implementation☆30Updated 8 years ago