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: 502, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/hwl0jk339qm887fcdwkb81w10z6v8in0-verilator-4.204.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/flv2vqz8526vab67jz7m8x6cvvwgrkis-verilator-4.204.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/7v2qcfbjna8j2m5jnnw03l418b6qdmyz-verilator-4.204.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/8s8kwxxcwxp58mxlwgs0qv8xcy6p0kdg-verilator-4.204.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/maq08qp4zcfpqlwswn2naydff5n2h21q-verilator-4.204.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/s9d4v0i2n824wfldxgx700p5ccwrmsq7-verilator-4.204.drv
x86_64-linuxi686-w64-mingw32/gnu/store/nd72yi24nz1hnvbrl5g7sm52ch8girbm-verilator-4.204.drv
x86_64-linuxi586-pc-gnu/gnu/store/c34jyyi6k3as0iy12dapbbrx48k9jk0a-verilator-4.204.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/f6h25mlj8mmsrcg77ms62ziz0r4si9yi-verilator-4.204.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/wxwf5kmwjxfxwy1skf9nsnpvc6c49mnm-verilator-4.204.drv
riscv64-linux/gnu/store/si61d9rzhcwhs2rdy51awp7v3hf07nil-verilator-4.204.drv
    powerpc-linux/gnu/store/2kphih9vc1c7dkhf9m8yx0k3z7f53l4i-verilator-4.204.drv
      powerpc64le-linux/gnu/store/qj0199pbvs0yfxwa3bzcvibf5ixxr3f8-verilator-4.204.drv
      mips64el-linux/gnu/store/bkza5dzkl2fhzqp7gzasiqwca6wxygg3-verilator-4.204.drv
        i686-linux/gnu/store/8l2v4b4zkd09b9vawhqi3b169f9isj0v-verilator-4.204.drv
        i586-gnu/gnu/store/q97lwad7h4yghvc6dcxc8nrxb2x0ib8h-verilator-4.204.drv
        armhf-linux/gnu/store/vzbcbnh7shf5zzhkrdq771ykmw8cpd3p-verilator-4.204.drv
        aarch64-linux/gnu/store/qhh6vgqa0hlsd416cs9wzg91g688lkii-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'
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f8ed7409c60> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7fa7aa068c60> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f5755cb9c60> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7487 7f119da52c60> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fb2d2987dc0> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f3e6bc77dc0> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f62abeb7dc0> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fa23c1dddc0> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f0f10522dc0> input: ("_" "static")>