frwang96 / verik
Verik toolchain
☆43Updated 2 years ago
Alternatives and similar repositories for verik
Users that are interested in verik are comparing it to the libraries listed below
Sorting:
- WAL enables programmable waveform analysis.☆149Updated 2 months ago
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆103Updated this week
- (System)Verilog to Chisel translator☆113Updated 2 years ago
- Hardware generator debugger☆73Updated last year
- A SystemVerilog source file pickler.☆56Updated 6 months ago
- FPGA tool performance profiling☆102Updated last year
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆62Updated last week
- Chisel/Firrtl execution engine☆153Updated 8 months ago
- Determines the modules declared and instantiated in a SystemVerilog file☆44Updated 7 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Mutation Cover with Yosys (MCY)☆80Updated last week
- Like VexRiscv, but, Harder, Better, Faster, Stronger☆156Updated this week
- SystemVerilog frontend for Yosys☆106Updated this week
- SystemVerilog synthesis tool☆190Updated 2 months ago
- RISC-V Formal Verification Framework☆137Updated last week
- ☆79Updated last year
- Generic Register Interface (contains various adapters)☆117Updated 7 months ago
- For contributions of Chisel IP to the chisel community.☆61Updated 6 months ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆141Updated last week
- ☆55Updated 2 years ago
- AXI Adapter(s) for RISC-V Atomic Operations☆62Updated last week
- DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language☆85Updated this week
- A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.☆44Updated 4 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated last year
- The specification for the FIRRTL language☆54Updated last week
- A Python to VHDL compiler☆16Updated 2 weeks ago
- ☆93Updated last year
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆57Updated 3 months ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆174Updated last week
- Structural Netlist API (and more) for EDA post synthesis flow development☆100Updated this week