alainmarcel / SurelogLinks
SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST API. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX
☆26Updated last month
Alternatives and similar repositories for Surelog
Users that are interested in Surelog are comparing it to the libraries listed below
Sorting:
- Making cocotb testbenches that bit easier☆36Updated 2 weeks ago
- Generate SystemVerilog RTL that implements a register block from compiled SystemRDL input.☆71Updated this week
- SystemVerilog frontend for Yosys☆165Updated last week
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆76Updated 2 months ago
- Generate address space documentation HTML from compiled SystemRDL input☆57Updated last month
- ☆85Updated last week
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆66Updated 8 months ago
- ☆31Updated 2 years ago
- Running Python code in SystemVerilog☆70Updated 4 months ago
- An automatic clock gating utility☆50Updated 6 months ago
- SystemVerilog Linter based on pyslang☆31Updated 5 months ago
- A translation of the Xilinx XPM library to VHDL for simulation purposes☆56Updated 3 months ago
- Python script to transform a VCD file to wavedrom format☆80Updated 3 years ago
- Python library for operations with VCD and other digital wave files☆53Updated 4 months ago
- A command-line tool for displaying vcd waveforms.☆62Updated last year
- Python packages providing a library for Verification Stimulus and Coverage☆127Updated 3 weeks ago
- Translates IPXACT XML to synthesizable VHDL or SystemVerilog☆63Updated this week
- Documentation with code examples about interfacing VHDL with foreign languages and tools through GHDL☆51Updated this week
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆118Updated 2 years ago
- Python interface for cross-calling with HDL☆39Updated last week
- SpiceBind – spice inside HDL simulator☆56Updated 3 months ago
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Playing around with Formal Verification of Verilog and VHDL☆62Updated 4 years ago
- Open source RTL simulation acceleration on commodity hardware☆30Updated 2 years ago
- Determines the modules declared and instantiated in a SystemVerilog file☆47Updated last year
- Python bindings for slang, a library for compiling SystemVerilog☆64Updated 9 months ago
- A SystemVerilog source file pickler.☆60Updated last year
- Simple parser for extracting VHDL documentation☆72Updated last year
- Universal Hardware Data Model. A complete modeling of the IEEE SystemVerilog Object Model with VPI Interface, Elaborator, Serialization, …☆234Updated last month
- Trying to verify Verilog/VHDL designs with formal methods and tools☆42Updated last year