antmicro / verilator
Verilator open-source SystemVerilog simulator and lint system
☆20Updated this week
Alternatives and similar repositories for verilator:
Users that are interested in verilator are comparing it to the libraries listed below
- ☆22Updated last year
- ☆33Updated 2 years ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- hardware library for hwt (= ipcore repo)☆37Updated 4 months ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 8 months ago
- A library and command-line tool for querying a Verilog netlist.☆26Updated 2 years ago
- Small SERV-based SoC primarily for OpenMPW tapeout☆40Updated 3 months ago
- Announcements related to Verilator☆39Updated 4 years ago
- ☆26Updated last year
- ☆31Updated last year
- Embedded UVM (D Language port of IEEE UVM 1.0)☆31Updated 7 months ago
- Xilinx Unisim Library in Verilog☆75Updated 4 years ago
- Open FPGA Modules☆23Updated 5 months ago
- IP-XACT XML binding library☆15Updated 8 years ago
- Quick'n'dirty FuseSoC+cocotb example☆18Updated 4 months ago
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- Open source RTL simulation acceleration on commodity hardware☆25Updated last year
- Designs for Process-Voltage-Temperature (PVT) Sensors with MCU☆22Updated 4 years ago
- Extensible FPGA control platform☆59Updated last year
- LIS Network-on-Chip Implementation☆29Updated 8 years ago
- Common SystemVerilog package used by all RoaLogic IP with AMBA AHB3-Lite interfaces☆17Updated 11 months ago
- UVM Python Verification Agents Library☆14Updated 4 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆81Updated 5 months ago
- ☆43Updated 5 years ago
- SoCRocket - Core Repository☆35Updated 8 years ago
- ArmleoCPU - RISC-V CPU RV64GC, SMP, Linux, Doom. Work in progress to execute first instruction with new feature set☆6Updated 2 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 10 months ago
- AHB-Lite based SoC for IBEX/SWERV/VEXRISC/...☆13Updated this week
- tools regarding on analog modeling, validation, and generation☆22Updated last year
- LeWiz Communications Ethernet MAC Core2 10G/5G/2.5G/1G☆33Updated last year