ics-jku / walLinks
WAL enables programmable waveform analysis.
☆157Updated 4 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☆165Updated this week
- SystemVerilog synthesis tool☆211Updated 6 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆119Updated 2 years ago
- An automatic clock gating utility☆50Updated 5 months ago
- ☆53Updated 6 months ago
- A complete open-source design-for-testing (DFT) Solution☆164Updated last month
- Mutation Cover with Yosys (MCY)☆87Updated last month
- Fabric generator and CAD tools.☆198Updated last week
- RISC-V Nox core☆68Updated 2 months ago
- Limited python / cocotb interface to Xilinx/AMD Vivado simulator.☆61Updated last week
- ☆86Updated last week
- Standard Cell Library based Memory Compiler using FF/Latch cells☆158Updated 3 months ago
- A SystemVerilog source file pickler.☆60Updated 11 months ago
- ☆32Updated 8 months ago
- Wavious DDR (WDDR) Physical interface (PHY) Hardware☆111Updated 4 years ago
- Hardware generator debugger☆76Updated last year
- The CORE-V CVA5 is an Application class 5-stage RISC-V CPU specifically targetting FPGA implementations.☆121Updated 2 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆84Updated last year
- A tool for synthesizing Verilog programs☆102Updated last month
- Structural Netlist API (and more) for EDA post synthesis flow development☆118Updated 2 weeks ago
- RISC-V Formal Verification Framework☆152Updated this week
- ☆108Updated last month
- Control and status register code generator toolchain☆147Updated last week
- ☆97Updated 2 years ago
- Like VexRiscv, but, Harder, Better, Faster, Stronger☆181Updated last week
- Python script to transform a VCD file to wavedrom format☆80Updated 3 years ago
- ASIC implementation flow infrastructure☆125Updated this week
- AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream t…☆140Updated this week
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆66Updated 8 months ago
- Python packages providing a library for Verification Stimulus and Coverage☆126Updated last week