Project

General

Profile

[logo] 
 
Home
About/Contact
Major Tools
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
Other Tools
  IPC::Locker
  Parallel::Forker
  Voneline
General Info
  Papers

Verilator Documentation

Program Documentation

  • Verilator Manual [text] - Install Verilator and see "verilator --help"

Announcements

To get notified of new releases, login, and click the "watch" button near the top right under News.

Commercial Support

Tutorials

  • High Performance SoC Modeling with Verilator - A Tutorial for Cycle Accurate SystemC Model Creation and Optimization using Verilator. By Jeremy Bennett of Embecosm. Includes tips on optimizing performance and removing compile warnings.
  • Verilator Waivers - Verilator Wavers. By Stefan Wallentowitz. How to efficiently maintain lint waivers.

Benchmarks

Papers on Verilator Specifically

Other Papers Using Verilator

Notable Open Source Projects Using Verilator (in alphabetical order)

  • Apache TVM Open Deep Learning Compiler Stack - Compiler stack for deep learning integrating Verilated models
  • Chisel - Chisel hardware language has Verilator backend
  • FuseSoC - Package manager and build tools including Verilator support
  • Jamie Iles 80186 core - 80186 verified with Verilator, and Verilator to cobertura coverage importer.
  • OpenTitan - Open source root-of-trust builds with Verilator
  • PyMTL3 - PyMTL open-source Python-based hardware generation, simulation, and verification framework
  • RISC-V Contest - Contest sponsored by Google, Antmicro, Lattice Semiconductor and Microsemi, requires use of Verilator in all submissions.
  • SweRV RISC-V Cores - Open-sourced high and low performance RISC-V cores
  • vmodel - Tool to simulate Verilated Verilog modules inside MATLAB simulations.
  • ZipCPU - 32 bit processor verified with Verilator.
  • Many, many more on github and OpenCores, among others.