ics-jku / walLinks
WAL enables programmable waveform analysis.
☆163Updated last month
Alternatives and similar repositories for wal
Users that are interested in wal are comparing it to the libraries listed below
Sorting:
- SystemVerilog frontend for Yosys☆184Updated this week
- SystemVerilog synthesis tool☆220Updated 9 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆120Updated 2 years ago
- Fabric generator and CAD tools.☆214Updated this week
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆66Updated 10 months ago
- RISC-V Nox core☆71Updated 5 months ago
- A SystemVerilog source file pickler.☆60Updated last year
- Control and status register code generator toolchain☆162Updated 3 weeks ago
- A command-line tool for displaying vcd waveforms.☆65Updated last year
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆124Updated 5 months ago
- Mutation Cover with Yosys (MCY)☆89Updated 3 weeks ago
- Like VexRiscv, but, Harder, Better, Faster, Stronger☆190Updated last week
- ☆88Updated 2 months ago
- An automatic clock gating utility☆51Updated 8 months ago
- ☆58Updated 8 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- A complete open-source design-for-testing (DFT) Solution☆173Updated 3 months ago
- Standard Cell Library based Memory Compiler using FF/Latch cells☆162Updated last month
- Python script to transform a VCD file to wavedrom format☆82Updated 3 years ago
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆175Updated last week
- ☆33Updated 11 months ago
- ☆120Updated 4 months ago
- Structural Netlist API (and more) for EDA post synthesis flow development☆123Updated last week
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆238Updated 3 months ago
- An open-source HDL register code generator fast enough to run in real time.☆78Updated last week
- Hardware generator debugger☆77Updated last year
- A SystemVerilog language server based on the Slang library.☆91Updated this week
- Limited python / cocotb interface to Xilinx/AMD Vivado simulator.☆70Updated 2 months ago
- SpinalHDL Hardware Math Library☆93Updated last year
- YosysHQ SVA AXI Properties☆43Updated 2 years ago