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
- SCARV: a side-channel hardened RISC-V platform☆27Updated 2 years ago
- LIS Network-on-Chip Implementation☆29Updated 8 years ago
- AXI X-Bar☆19Updated 5 years ago
- This document adopts the method from the XAPP1230 for doing readback capture on Xilinx UltraScale devices and shows how to migrate the sa…☆16Updated 5 years ago
- ☆22Updated 3 weeks ago
- OpenRISC processor IP core based on Tomasulo algorithm☆32Updated 3 years ago
- Mutation Cover with Yosys (MCY)☆83Updated last month
- System on Chip with RISCV-32 / RISCV-64 / RISCV-128☆22Updated last week
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆36Updated 4 years ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆29Updated 10 months ago
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated 2 years ago
- RISC-V BSV Specification☆20Updated 5 years ago
- Hardware Formal Verification☆15Updated 4 years ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 4 years ago
- A scala based simulator for circuits described by a LoFirrtl file☆48Updated 2 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- Wraps the NVDLA project for Chipyard integration☆21Updated last month
- A Rocket-based RISC-V superscalar in-order core☆33Updated last month
- ☆18Updated 4 years ago
- Benchmarks for Yosys development☆24Updated 5 years ago
- Capture retired instructions of a RISC-V Core and compress them to a sequence of packets.☆19Updated last year
- Source-Opened RISCV for Crypto☆16Updated 3 years ago
- ☆14Updated 2 months ago
- Useful utilities for BAR projects☆31Updated last year
- A fault-injection framework using Chisel and FIRRTL☆36Updated 3 weeks 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
- YosysHQ SVA AXI Properties☆39Updated 2 years ago
- Small SERV-based SoC primarily for OpenMPW tapeout☆42Updated this week