ics-jku / walLinks
WAL enables programmable waveform analysis.
☆155Updated 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☆135Updated last week
- SystemVerilog synthesis tool☆201Updated 4 months ago
- A SystemVerilog source file pickler.☆59Updated 8 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆115Updated last year
- Fabric generator and CAD tools.☆190Updated this week
- Waveform Viewer Extension for VScode☆211Updated this week
- Control and status register code generator toolchain☆138Updated last month
- A complete open-source design-for-testing (DFT) Solution☆161Updated last month
- ☆79Updated last year
- Like VexRiscv, but, Harder, Better, Faster, Stronger☆167Updated this week
- Limited python / cocotb interface to Xilinx/AMD Vivado simulator.☆44Updated 5 months ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆105Updated 3 years ago
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆111Updated this week
- Hardware generator debugger☆74Updated last year
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆120Updated this week
- RISC-V Formal Verification Framework☆142Updated last month
- ☆96Updated last year
- AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream t…☆137Updated 3 weeks ago
- ☆47Updated 3 months ago
- An automatic clock gating utility☆50Updated 3 months ago
- A command-line tool for displaying vcd waveforms.☆59Updated last year
- RISC-V Nox core☆65Updated 3 months ago
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆221Updated 2 weeks ago
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆66Updated 5 months ago
- Standard Cell Library based Memory Compiler using FF/Latch cells☆151Updated last week
- Mutation Cover with Yosys (MCY)☆85Updated this week
- FuseSoC standard core library☆144Updated last month
- Python script to transform a VCD file to wavedrom format☆77Updated 2 years ago
- A tool for synthesizing Verilog programs☆95Updated last week
- Python packages providing a library for Verification Stimulus and Coverage☆123Updated last month