lac-dcc / chimera
A tool for synthesizing Verilog programs
☆65Updated this week
Alternatives and similar repositories for chimera:
Users that are interested in chimera are comparing it to the libraries listed below
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆90Updated this week
- SystemVerilog frontend for Yosys☆74Updated this week
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆75Updated 10 months ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆60Updated 8 months ago
- DHLS (Dynamic High-Level Synthesis) compiler based on MLIR☆92Updated this week
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆85Updated 10 months ago
- RISC-V Formal Verification Framework☆127Updated last month
- A SystemVerilog source file pickler.☆54Updated 4 months ago
- A Rocket-based RISC-V superscalar in-order core☆29Updated 2 weeks ago
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated 9 months ago
- Floating point modules for CHISEL☆31Updated 10 years ago
- Heterogeneous Research Platform (HERO) for exploration of heterogeneous computers consisting of programmable many-core accelerators and a…☆99Updated last year
- Open source RTL simulation acceleration on commodity hardware☆23Updated last year
- The specification for the FIRRTL language☆51Updated this week
- pulp_soc is the core building component of PULP based SoCs☆79Updated 2 weeks ago
- Library to compile Chisel circuits using LLVM/MLIR (CIRCT)☆71Updated last year
- Fast Symbolic Repair of Hardware Design Code☆22Updated last month
- Pequeno (PQR5) is a 5-stage pipelined in-order RISC-V CPU Core compliant with RV32I ISA.☆58Updated 2 months ago
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆44Updated last month
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆64Updated 2 weeks ago
- Plugins for Yosys developed as part of the F4PGA project.☆80Updated 9 months ago
- A GPU acceleration flow for RTL simulation with batch stimulus☆102Updated 10 months ago
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆51Updated this week
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆40Updated 4 years ago
- ☆86Updated 11 months ago
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆50Updated 3 years ago
- The OpenPiton Platform☆16Updated 6 months ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆48Updated last year