ydnatag / nmigen-cocotb
cocotb extension for nMigen
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for nmigen-cocotb
- RISC-V Processor written in Amaranth HDL☆33Updated 2 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated 8 months ago
- Gate-level visualization generator for SKY130-based chip designs.☆20Updated 3 years ago
- Cocotb (Python) based USB 1.1 test suite for FPGA IP, with testbenches for a variety of open source USB cores☆50Updated last year
- 🔥 Technology-agnostic FPGA stress-test: maximum logic utilization and high dynamic power consumption.☆29Updated 2 years ago
- Examples and design pattern for VHDL verification☆15Updated 8 years ago
- assorted library of utility cores for amaranth HDL☆81Updated 2 months ago
- USB virtual model in C++ for Verilog☆28Updated last month
- Python script to transform a VCD file to wavedrom format☆74Updated 2 years ago
- Open Source Verification Bundle for VHDL and System Verilog☆40Updated 10 months ago
- Virtual development board for HDL design☆39Updated last year
- Specification of the Wishbone SoC Interconnect Architecture☆41Updated 2 years ago
- This repository contains iCEBreaker examples for Amaranth HDL.☆36Updated last year
- ☆29Updated 3 years ago
- A padring generator for ASICs☆22Updated last year
- ☆20Updated 3 weeks ago
- Constraint files for Hardware Description Language (HDL) designs targeting FPGA boards☆42Updated this week
- A Python package for generating HDL wrappers and top modules for HDL sources☆23Updated last week
- The ILA allows you to perform in-system debugging of your designs on the GateMate FPGA at runtime. All signals of your design inside the …☆48Updated last week
- Interfacing VHDL and foreign languages with VUnit☆14Updated 4 years ago
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆64Updated 2 months ago
- Tests to evaluate the support of VHDL 2008 and VHDL 2019 features☆29Updated this week
- AXI Formal Verification IP☆19Updated 3 years ago
- ☆32Updated last year
- ☆39Updated last year
- An experiment for building gateware for the axiom micro / beta using amaranth-hdl☆39Updated 6 months ago
- ChipScoPy (ChipScope Python API) is an open source Python API to the various ChipScope services provided by the TCF-based (Target Communi…☆47Updated this week
- A configurable USB 2.0 device core☆30Updated 4 years ago
- cryptography ip-cores in vhdl / verilog☆40Updated 3 years ago
- Fixed point math library for SystemVerilog☆15Updated last week