Logo
Devel 5.009

Getting Started

  • Overview
  • Examples
  • Installation
  • CMake Installation

User's Guide

  • Verilating
  • Connecting to Verilated Models
  • Simulating (Verilated-Model Runtime)
  • Contributing and Reporting Bugs
  • FAQ/Frequently Asked Questions

Reference Guide

  • Input Languages
  • Language Extensions
  • Executable and Argument Reference
  • Errors and Warnings
  • Files
  • Environment
  • Deprecations
  • Contributors and Origins
  • Revision History
  • Copyright
Verilator
  • »
  • Verilator User’s Guide
  • Edit on GitHub

Verilator User’s Guide¶

Getting Started

  • Overview
  • Examples
  • Installation
    • Package Manager Quick Install
    • Git Quick Install
    • Detailed Build Instructions
    • Verilator Build Docker Container
    • Verilator Executable Docker Container
  • CMake Installation
    • Quick Install
    • Usage
    • Example

User's Guide

  • Verilating
    • C++ and SystemC Generation
    • Hierarchical Verilation
    • Cross Compilation
    • Multithreading
    • GNU Make
    • CMake
  • Connecting to Verilated Models
    • Structure of the Verilated Model
    • Connecting to C++
    • Connecting to SystemC
    • Verilated API
    • Direct Programming Interface (DPI)
    • Verification Procedural Interface (VPI)
    • Wrappers and Model Evaluation Loop
    • Verilated and VerilatedContext
  • Simulating (Verilated-Model Runtime)
    • Benchmarking & Optimization
    • Coverage Analysis
    • Code Profiling
    • Execution Profiling
    • Profiling ccache efficiency
    • Save/Restore
    • Profile-Guided Optimization
  • Contributing and Reporting Bugs
    • Announcements
    • Reporting Bugs
    • Contributing to Verilator
  • FAQ/Frequently Asked Questions
    • Questions

Reference Guide

  • Input Languages
  • Language Extensions
  • Executable and Argument Reference
  • Errors and Warnings
  • Files
  • Environment
  • Deprecations
  • Contributors and Origins
  • Revision History
  • Copyright
Next

© Copyright 2022 by Wilson Snyder, under LGPL-3.0 or Artistic-2.0.