YosysHQ / VlogHammer
A Verilog Synthesis Regression Test
☆37Updated 11 months ago
Alternatives and similar repositories for VlogHammer:
Users that are interested in VlogHammer are comparing it to the libraries listed below
- Benchmarks for Yosys development☆23Updated 5 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆49Updated 9 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 4 years ago
- Open source fpga project leveraging vtr CAD flow.☆26Updated 2 years ago
- Open Processor Architecture☆26Updated 8 years ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- ☆22Updated last year
- RISC-V RV64IS-compatible processor for the Kestrel-3☆21Updated 2 years ago
- SoftCPU/SoC engine-V☆54Updated last year
- A padring generator for ASICs☆25Updated last year
- Project X-Ray Database: XC7 Series☆65Updated 3 years ago
- Yosys Plugins☆21Updated 5 years ago
- Mutation Cover with Yosys (MCY)☆80Updated this week
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆35Updated 3 years ago
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆56Updated 5 years ago
- Implementation of RISC-V RV32IM. Simple in-order 3-stage pipeline. Low resources (e.g., FPGA softcore).☆33Updated 8 years ago
- Experiments with Yosys cxxrtl backend☆47Updated last month
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Xilinx Unisim Library in Verilog☆75Updated 4 years ago
- ☆55Updated 2 years ago
- Verilog FPGA Parts Library. Old Octavo soft-CPU project.☆72Updated 5 years ago
- ⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform☆51Updated 3 years ago
- Z-scale Microarchitectural Implementation of RV32 ISA☆55Updated 7 years ago
- ☆36Updated 2 years ago
- Capture retired instructions of a RISC-V Core and compress them to a sequence of packets.☆19Updated 11 months ago
- OpenFPGA☆33Updated 7 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated last month
- Yet Another VHDL tool☆31Updated 7 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆31Updated 7 months ago
- Python interface to FPGA interchange format☆41Updated 2 years ago