frwang96 / verik
Verik toolchain
☆42Updated 2 years ago
Alternatives and similar repositories for verik:
Users that are interested in verik are comparing it to the libraries listed below
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆88Updated 2 weeks ago
- WAL enables programmable waveform analysis.☆147Updated last month
- A SystemVerilog source file pickler.☆56Updated 5 months ago
- 21st century electronic design automation tools, written in Rust.☆29Updated this week
- Chisel/Firrtl execution engine☆153Updated 7 months ago
- Determines the modules declared and instantiated in a SystemVerilog file☆43Updated 6 months ago
- ☆89Updated last year
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 10 months ago
- Mutation Cover with Yosys (MCY)☆80Updated 3 weeks ago
- SystemVerilog frontend for Yosys☆81Updated 2 weeks ago
- A command-line tool for displaying vcd waveforms.☆53Updated last year
- Hardware generator debugger☆73Updated last year
- ☆55Updated 2 years ago
- Generic Register Interface (contains various adapters)☆111Updated 6 months ago
- (System)Verilog to Chisel translator☆112Updated 2 years ago
- Structural Netlist API (and more) for EDA post synthesis flow development☆93Updated this week
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆67Updated this week
- pulp_soc is the core building component of PULP based SoCs☆79Updated 3 weeks ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆111Updated last year
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆54Updated 2 weeks ago
- RISC-V Formal Verification Framework☆131Updated 3 weeks ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated 10 months ago
- A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.☆43Updated 3 months ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆172Updated 8 months ago
- eXtendable Heterogeneous Energy-Efficient Platform based on RISC-V☆171Updated last week
- FPGA tool performance profiling☆102Updated last year
- SystemVerilog synthesis tool☆183Updated 3 weeks ago
- The specification for the FIRRTL language☆52Updated this week
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆48Updated 2 months ago
- DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language☆84Updated this week