verilator 5.034

Verilog/SystemVerilog simulator

Verilator transforms the specified Verilog or SystemVerilog code by reading it, performing lint checks, and optionally inserting assertion checks and coverage-analysis points. It outputs single- or multi-threaded .cpp and .h files.

Outputs: out
Website: https://www.veripool.org/verilator/
Licenses: LGPL 3
Package source: gnu/packages/fpga.scm
Builds: See build status
Issues: See known issues

Installation

Install verilator 5.034 as follows:

guix install verilator@5.034

Or install the latest version:

guix install verilator

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.