ics-jku / walLinks
WAL enables programmable waveform analysis.
☆155Updated 2 months ago
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☆148Updated last week
- SystemVerilog synthesis tool☆206Updated 4 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆115Updated last year
- Fabric generator and CAD tools.☆192Updated last week
- A SystemVerilog source file pickler.☆59Updated 9 months ago
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆126Updated last week
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆117Updated 3 weeks ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆106Updated 4 years ago
- Limited python / cocotb interface to Xilinx/AMD Vivado simulator.☆44Updated 6 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- An automatic clock gating utility☆50Updated 3 months ago
- RISC-V Nox core☆66Updated 2 weeks ago
- A command-line tool for displaying vcd waveforms.☆59Updated last year
- AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream t…☆138Updated 2 weeks ago
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆224Updated last week
- Standard Cell Library based Memory Compiler using FF/Latch cells☆154Updated last month
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆66Updated 6 months ago
- Like VexRiscv, but, Harder, Better, Faster, Stronger☆168Updated last week
- Control and status register code generator toolchain☆142Updated 2 months ago
- A complete open-source design-for-testing (DFT) Solution☆162Updated 2 months ago
- ☆97Updated last year
- Mutation Cover with Yosys (MCY)☆85Updated 3 weeks ago
- FuseSoC standard core library☆146Updated 2 months ago
- ☆79Updated last year
- Python script to transform a VCD file to wavedrom format☆78Updated 2 years ago
- Python packages providing a library for Verification Stimulus and Coverage☆126Updated 2 weeks ago
- ☆47Updated 4 months ago
- VHDL/Verilog/SystemC code generator, simulator API written in python/c++☆215Updated 3 weeks ago
- RISC-V Formal Verification Framework☆143Updated this week
- eXtendable Heterogeneous Energy-Efficient Platform based on RISC-V☆205Updated this week