A fork of the main Verilator project for development work. The changes here are in preparation for committing back to the main project.
☆18Nov 26, 2014Updated 11 years ago
Alternatives and similar repositories for verilator
Users that are interested in verilator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repo contains source files and code for a synthesizable RISC-V processor with support for custom instructions in a co-processor.☆12Aug 19, 2018Updated 8 years ago
- Helper scripts used to clone RISC-V related git repos inside China.☆16Sep 17, 2020Updated 6 years ago
- Portable C Compiler (CVS mirror)☆12Apr 9, 2012Updated 14 years ago
- Various file for the Sipeed MaixPy K210☆12Jul 6, 2019Updated 7 years ago
- InnovateFPGA☆15Apr 30, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Manifests for my rockchip yocto repo☆12Jun 10, 2026Updated 3 months ago
- FPGArduino binary☆13Aug 5, 2019Updated 7 years ago
- Altium Designer libraries for ANSI/VITA 57 FPGA Mezzanine Card (FMC) Standard☆47Dec 9, 2021Updated 4 years ago
- Memory consistency model checking and test generation library.☆15Oct 14, 2016Updated 9 years ago
- Porting SMBUS/PMBUS Stack Middleware for STM32F407 MCU☆12Jul 5, 2018Updated 8 years ago
- An application to simulate Tomasulo's algorithm☆11Jan 16, 2014Updated 12 years ago
- ☆12May 9, 2013Updated 13 years ago
- Additional camera tuning profiles for Rockchip SoC☆19Sep 14, 2026Updated last week
- HelloX operating system for STM32 chipset☆14Jan 18, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a little blog written by angularjs and golang.☆10Sep 17, 2017Updated 9 years ago
- MIPS R10000 architecture simulator with C++☆11Jun 8, 2023Updated 3 years ago
- Provides dot visualizations of chisel/firrtl circuites☆13Mar 12, 2019Updated 7 years ago
- EDA wiki☆55Mar 1, 2023Updated 3 years ago
- ☆13Jul 9, 2026Updated 2 months ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 13 years ago
- Linux kernel source tree☆10Aug 7, 2024Updated 2 years ago
- RK3588_hdk quad A76 & quad A53☆15Apr 12, 2022Updated 4 years ago
- ☆11Jun 19, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Typescript Development Kits for TuneFlow Plugins. More developer documents: http://help.tuneflow.com/zh/developer/☆16Apr 23, 2023Updated 3 years ago
- Lorenzo Torresani's Structure from Motion Matlab code☆13Aug 1, 2021Updated 5 years ago
- JPEG Compression RTL implementation☆11Aug 19, 2017Updated 9 years ago
- ☆40Mar 6, 2026Updated 6 months ago
- Automatically exported from code.google.com/p/eqntott☆15Sep 23, 2015Updated 11 years ago
- Scripts and configs to build x86 library of Qt framework in Windows.☆13Jun 10, 2023Updated 3 years ago
- IoT operating system for microcontrollers.☆13Aug 1, 2023Updated 3 years ago
- List of resources about modern dynamic polymorphism in C++.☆12Sep 29, 2018Updated 7 years ago
- Floating-point SMTLIB benchmarks☆10Jul 17, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆16Jul 9, 2026Updated 2 months ago
- A simple software renderer.☆16Feb 24, 2013Updated 13 years ago
- Code for paper: Localized matrix factorization for recommendation based on matrix block diagonal forms☆10Jan 27, 2015Updated 11 years ago
- Material for the course Theories of Quantum Matter at the University of Cambridge☆12Jan 20, 2023Updated 3 years ago
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 11 years ago
- Research library for compile time optimization☆13Dec 16, 2018Updated 7 years ago
- Sparse Matrix Factorization (SMF) is a key component in many machine learning problems and there exist a verity a applications in real-w…☆12Jan 25, 2016Updated 10 years ago