leonardt / faultLinks
A Python package for testing hardware (part of the magma ecosystem)
☆47Updated last year
Alternatives and similar repositories for fault
Users that are interested in fault are comparing it to the libraries listed below
Sorting:
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆41Updated 2 months ago
- Tools for working with circuits as graphs in python☆126Updated 2 years ago
- ☆68Updated 3 years ago
- AMC: Asynchronous Memory Compiler☆52Updated 5 years ago
- A SystemVerilog source file pickler.☆60Updated last year
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- Code to read various RTL simulator wave formats (fsdb, shm, vcd, wlf) into python and apply it as stimuli via cocotb/plain vpi.☆63Updated 4 years ago
- ☆43Updated 7 years ago
- FPGA tool performance profiling☆105Updated last year
- hardware library for hwt (= ipcore repo)☆43Updated last month
- Builds, flow and designs for the alpha release☆54Updated 6 years ago
- ☆31Updated 2 years ago
- ideas and eda software for vlsi design☆51Updated last week
- ☆44Updated 6 years ago
- Determines the modules declared and instantiated in a SystemVerilog file☆51Updated last year
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆27Updated 3 weeks ago
- Running Python code in SystemVerilog☆71Updated 8 months ago
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆51Updated 5 years ago
- Public repository for PySysC, (From SC Common Practices Subgroup)☆54Updated 2 years ago
- A library and command-line tool for querying a Verilog netlist.☆29Updated 3 years ago
- YosysHQ SVA AXI Properties☆44Updated 3 years ago
- VHDL/Verilog/SystemC code generator, simulator API written in python/c++☆220Updated last month
- Conda recipes for FPGA EDA tools for simulation, synthesis, place and route and bitstream generation.☆101Updated last year
- Open source RTL simulation acceleration on commodity hardware☆34Updated 2 years ago
- Python interface for cross-calling with HDL☆47Updated 2 weeks ago
- Python library for operations with VCD and other digital wave files☆54Updated 2 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆98Updated last year
- ☆56Updated 2 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 3 months ago
- Project repo for the POSH on-chip network generator☆52Updated 10 months ago