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/96xqw0n2057g0npmh5fzwch5v3lypcyv-verilator-4.204.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/14dcsnrpdngkwjn5am85rg4pqz035zqx-verilator-4.204.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/kl017yyrkc6jyd8sqrs4xj31qk3ag08h-verilator-4.204.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/311fcngjq1dvr7zlxly761g3xbx73g59-verilator-4.204.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/h55rri7xiirwlyrqk295bn9awm5zl7lg-verilator-4.204.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/hwi6sj141vzasi75x0ggbasykxld37yb-verilator-4.204.drv
x86_64-linuxi686-w64-mingw32/gnu/store/85fq8zxmlwln2ir7i4c3hbrvb63jqnqk-verilator-4.204.drv
x86_64-linuxi586-pc-gnu/gnu/store/id7mnjp0z4qrmmvbxn1v72hkljay8wh5-verilator-4.204.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/vqdgxdcdbn0hyi9gjikmhrh1g0wqyiiz-verilator-4.204.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/h0ii29vsjd7sfg85rqm9sq3pnb60v0gl-verilator-4.204.drv
riscv64-linux/gnu/store/sl5yghg173s179j7vm5b60rma7ha13ss-verilator-4.204.drv
    powerpc-linux/gnu/store/yc7gikm8g8k905i3g8ig6qxmbw2s2y2v-verilator-4.204.drv
      powerpc64le-linux/gnu/store/zdl5dx1prfqmvpd8y0g1s6w970v8gqsw-verilator-4.204.drv
      mips64el-linux/gnu/store/5mcvh4skhwy3h7fhz47hk2mdbhg6b6m2-verilator-4.204.drv
        i686-linux/gnu/store/j25jp8blkfj0q71006qhaz454sxyrdp4-verilator-4.204.drv
        i586-gnu/gnu/store/1f02mggv4p4mqljhxjdqykl7f4w8v8cp-verilator-4.204.drv
        armhf-linux/gnu/store/1nfziv1lf4pc4vcqifbalgikkx3311vr-verilator-4.204.drv
        aarch64-linux/gnu/store/ljzradw008xr5nh0ak41cc5qy805nzyq-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")>