Language

Package: verilator @ 4.204

Synopsis

Fast Verilog/SystemVerilog simulator

Description

Verilator is invoked with parameters similar to GCC or Synopsys’s VCS. It ``Verilates'' 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, the ``Verilated'' code.

The user writes a little C++/SystemC wrapper file, which instantiates the Verilated model of the user’s top level module. These C++/SystemC files are then compiled by a C++ compiler (GCC/Clang/etc.). The resulting executable performs the design simulation. Verilator also supports linking its generated libraries, optionally encrypted, into other simulators.

Home page
https://www.veripool.org/projects/verilator/
Location
gnu/packages/fpga.scm (line: 498, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/n1s61hilk9j12vm58mcf0q6hczgnqcdq-verilator-4.204.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/4jc7sdmpawd0k40qi88lzjijd3dwpd5h-verilator-4.204.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/wbi7mrvn6l04dr3jsvya903hmqzsn7sc-verilator-4.204.drv
x86_64-linuxx86_64-linux-gnux32/gnu/store/y2kbldwy63sfs9d7nn52wdpjrkgn31zd-verilator-4.204.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/xfwlyzcs2jfxbnpad34xwj8c743f8vq3-verilator-4.204.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/78gbjxsvmida988cs9y5d6cnnissrhm1-verilator-4.204.drv
x86_64-linuxpowerpc64-linux-gnu/gnu/store/6a0i94r1yrwjpi9apsb5qn1hzgfn2ij2-verilator-4.204.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/bdvayi71660myaa3dffbrk7lnl49rwhf-verilator-4.204.drv
x86_64-linuxor1k-elf/gnu/store/nj9lfldvdjmlq80m17k4i1s0pa6fsgaa-verilator-4.204.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/ixzak2crdqsfwjh6p550dgxjii7m2vg5-verilator-4.204.drv
x86_64-linuxi686-w64-mingw32/gnu/store/pci3pgylbw1fipiswwailzkhfm51bfl4-verilator-4.204.drv
    x86_64-linuxi586-pc-gnu/gnu/store/cnf23njdpsb6qpjzmi6g4xgyma6bsf2i-verilator-4.204.drv
    x86_64-linuxavr/gnu/store/cg1bs5lih2gfsphl54csibkipx3wmags-verilator-4.204.drv
    x86_64-linuxarm-linux-gnueabihf/gnu/store/6if0vgkspidxgsh03q1s8yan14j0lj4b-verilator-4.204.drv
    x86_64-linuxaarch64-linux-gnu/gnu/store/n7niyqfcfig5p042rkqppi5qh7w04xqh-verilator-4.204.drv
    riscv64-linux/gnu/store/pm2kjxlkalpjfjyc2xfagynpv263rbrk-verilator-4.204.drv
    powerpc-linux/gnu/store/acwxiyh29wyajb988jw4i6k9bfj3h1ni-verilator-4.204.drv
      powerpc64le-linux/gnu/store/g2kck7hc2rk3qsc7ayqimyl5fcj1chsq-verilator-4.204.drv
      mips64el-linux/gnu/store/gkd67cf9zhxl3l4cifbdmz2g68f5hkyj-verilator-4.204.drv
        i686-linux/gnu/store/37cr4gk69pjlmd46lwjx4ss7z8rcs3xa-verilator-4.204.drv
        i586-gnu/gnu/store/mxnkyg15b57g45f8sd0jkhr9fxgq2v5l-verilator-4.204.drv
        armhf-linux/gnu/store/2cwl8i35v59hp5calxmgngmy2m80ihvx-verilator-4.204.drv
        aarch64-linux/gnu/store/b5k6g9xcrvng9zqc3n3hflnkfyih644d-verilator-4.204.drv

        Lint warnings

        LinterMessageLocation
        description

        Validate package descriptions

        use @code or similar ornament instead of quotes
        input-labels

        Identify input labels that do not match package names

        label 'gettext' does not match package name 'gettext-minimal'