frwang96 / verikLinks
Verik toolchain
☆44Updated 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.☆157Updated 3 months ago
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆89Updated last month
- 21st century electronic design automation tools, written in Rust.☆31Updated last week
- A SystemVerilog language server based on the Slang parser and library.☆36Updated last week
- Chisel/Firrtl execution engine☆154Updated last year
- Logic circuit analysis and optimization☆42Updated last month
- FPGA tool performance profiling☆102Updated last year
- Debuggable hardware generator☆70Updated 2 years ago
- high-performance RTL simulator☆178Updated last year
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆177Updated 4 months ago
- RISC-V Formal Verification Framework☆150Updated last week
- ☆56Updated 3 years ago
- (System)Verilog to Chisel translator☆116Updated 3 years ago
- For contributions of Chisel IP to the chisel community.☆66Updated 10 months ago
- SystemVerilog synthesis tool☆211Updated 6 months ago
- SystemVerilog frontend for Yosys☆165Updated this week
- Like VexRiscv, but, Harder, Better, Faster, Stronger☆181Updated last week
- DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language☆90Updated this week
- Hardware generator debugger☆76Updated last year
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆147Updated last month
- Dual-issue RV64IM processor for fun & learning☆64Updated 2 years ago
- A hardware compiler based on LLHD and CIRCT☆262Updated 3 months ago
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆121Updated 2 months ago
- The specification for the FIRRTL language☆63Updated last week
- A SystemVerilog source file pickler.☆60Updated 11 months ago
- A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.☆48Updated 9 months ago
- Equivalence checking with Yosys☆46Updated last week
- Mutation Cover with Yosys (MCY)☆87Updated last month
- Structural Netlist API (and more) for EDA post synthesis flow development☆118Updated last week
- Open Application-Specific Instruction Set processor tools (OpenASIP)☆165Updated 2 weeks ago