sgherbst / svinst
Determines the modules declared and instantiated in a SystemVerilog file
☆43Updated 5 months ago
Alternatives and similar repositories for svinst:
Users that are interested in svinst are comparing it to the libraries listed below
- A SystemVerilog source file pickler.☆55Updated 4 months ago
- ☆18Updated this week
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- Python bindings for slang, a library for compiling SystemVerilog☆55Updated last month
- Code to read various RTL simulator wave formats (fsdb, shm, vcd, wlf) into python and apply it as stimuli via cocotb/plain vpi.☆56Updated 3 years ago
- For contributions of Chisel IP to the chisel community.☆59Updated 3 months ago
- SystemVerilog frontend for Yosys☆76Updated this week
- ☆31Updated last year
- A command-line tool for displaying vcd waveforms.☆52Updated last year
- Limited python / cocotb interface to Xilinx/AMD Vivado simulator.☆35Updated last month
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆65Updated 5 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆80Updated 9 months ago
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆44Updated 4 years ago
- Open Source Verification Bundle for VHDL and System Verilog☆44Updated last year
- SystemVerilog Linter based on pyslang☆29Updated last month
- Simple parser for extracting VHDL documentation☆71Updated 7 months ago
- Running Python code in SystemVerilog☆67Updated 7 months ago
- Python library for parsing module definitions and instantiations from SystemVerilog files☆22Updated 3 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated 11 months ago
- An automatic clock gating utility☆44Updated 7 months ago
- Generate SystemVerilog RTL that implements a register block from compiled SystemRDL input.☆56Updated 2 months ago
- ☆87Updated last year
- SystemVerilog FSM generator☆28Updated 9 months ago
- Pre-packaged testbenching tools and reusable bus interfaces for cocotb☆62Updated 4 months ago
- SystemVerilog & Verilog Module I/O parser and printer☆25Updated 3 years ago
- Automatic SystemVerilog linting in github actions with the help of Verible☆33Updated 4 months ago
- ☆54Updated 2 years ago
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆65Updated last month
- Platform Level Interrupt Controller☆36Updated 9 months ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago