leonardt / faultLinks
A Python package for testing hardware (part of the magma ecosystem)
☆43Updated 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☆38Updated 2 months ago
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆46Updated 4 years ago
- YosysHQ SVA AXI Properties☆42Updated 2 years ago
- Tools for working with circuits as graphs in python☆122Updated last year
- A SystemVerilog source file pickler.☆59Updated 10 months ago
- Determines the modules declared and instantiated in a SystemVerilog file☆47Updated 11 months ago
- ideas and eda software for vlsi design☆50Updated last week
- Plugins for Yosys developed as part of the F4PGA project.☆83Updated last year
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated last month
- Conda recipes for FPGA EDA tools for simulation, synthesis, place and route and bitstream generation.☆101Updated 7 months ago
- AMC: Asynchronous Memory Compiler☆50Updated 5 years ago
- hardware library for hwt (= ipcore repo)☆43Updated last month
- ☆41Updated 7 years ago
- Running Python code in SystemVerilog☆70Updated 2 months ago
- Python interface for cross-calling with HDL☆35Updated 2 weeks ago
- ☆67Updated 2 years ago
- Open source RTL simulation acceleration on commodity hardware☆29Updated 2 years ago
- ☆32Updated 7 months ago
- ☆31Updated last year
- ☆44Updated 5 years ago
- Code to read various RTL simulator wave formats (fsdb, shm, vcd, wlf) into python and apply it as stimuli via cocotb/plain vpi.☆62Updated 4 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆83Updated 10 months ago
- SystemVerilog & Verilog Module I/O parser and printer☆25Updated 4 years ago
- Debuggable hardware generator☆69Updated 2 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 5 years ago
- BAG framework☆41Updated last year
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- Automatic generation of real number models from analog circuits☆43Updated last year
- Python packages providing a library for Verification Stimulus and Coverage☆126Updated last month
- An automatic clock gating utility☆50Updated 4 months ago