Intuity / forastero
Making cocotb testbenches that bit easier
☆26Updated 3 weeks ago
Alternatives and similar repositories for forastero:
Users that are interested in forastero are comparing it to the libraries listed below
- Python interface for cross-calling with HDL☆30Updated 2 weeks ago
- ☆17Updated this week
- SystemVerilog Linter based on pyslang☆25Updated 3 weeks ago
- Generate SystemVerilog RTL that implements a register block from compiled SystemRDL input.☆55Updated last month
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆65Updated 4 months ago
- An open-source HDL register code generator fast enough to run in real time.☆40Updated this week
- Generate address space documentation HTML from compiled SystemRDL input☆48Updated 4 months ago
- ☆13Updated last month
- Python Tool for UVM Testbench Generation☆50Updated 8 months ago
- Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)☆65Updated 2 years ago
- SystemVerilog frontend for Yosys☆69Updated last week
- Open source RTL simulation acceleration on commodity hardware☆23Updated last year
- YosysHQ SVA AXI Properties☆37Updated last year
- ☆20Updated 2 months ago
- SystemVerilog RTL Linter for YoSys☆18Updated 2 months ago
- ☆40Updated 2 years ago
- UART models for cocotb☆26Updated last year
- Repository gathering basic modules for CDC purpose☆51Updated 5 years ago
- Python API to Unified Coverage Interoperability Standard (UCIS) Data☆22Updated 4 months ago
- ☆31Updated 3 weeks ago
- An opinionated build environment for EDA projects☆15Updated this week
- Summer School Week 1 & 2 repo☆11Updated 2 years ago
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆43Updated 4 years ago
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆46Updated this week
- Playing around with Formal Verification of Verilog and VHDL☆54Updated 3 years ago
- An open source, parameterized SystemVerilog digital hardware IP library☆24Updated 8 months ago
- Characterizer☆21Updated 5 months ago
- Doxygen with verilog support☆37Updated 5 years ago
- High speed C/C++ based behavioural VHDL/Verilog co-simulation memory model☆21Updated 2 months ago
- Running Python code in SystemVerilog☆67Updated 6 months ago