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/c8v4jkic6sk4aw8xi4ywdivyz5bqrgma-verilator-4.204.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/1v5nangn744908zbqd2v7fz46a1cn4cq-verilator-4.204.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/wn2mb7xn5zs0hhglcpjgb8kc0skdqmi8-verilator-4.204.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/vxy6qwmamgym3lapzws8gdvnjamrb278-verilator-4.204.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/73apbrcray9gyf9kdic9kplnpiizvksp-verilator-4.204.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/va7fjab78rw7aylcxqj44qaaf1jjwdlm-verilator-4.204.drv
x86_64-linuxi686-w64-mingw32/gnu/store/rpxjwp51xi2csydhn9q1bs5ai9g70f9d-verilator-4.204.drv
x86_64-linuxi586-pc-gnu/gnu/store/1nvndjf07fjh6i5kyarkzncl328999lf-verilator-4.204.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/svyw64h2bcj2g5j8qwcm9i1bdfznca7p-verilator-4.204.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/z7yyc9r75w7vcimhm30a1inqx5a60b83-verilator-4.204.drv
riscv64-linux/gnu/store/gvchkk91g003dzs49rdm8ikp0qwm8g77-verilator-4.204.drv
    powerpc-linux/gnu/store/0d5071zbi8p60x97p91sqyanhz2kxw8i-verilator-4.204.drv
      powerpc64le-linux/gnu/store/p07nmljrqka2641jfys8hg8ia7sz9xm9-verilator-4.204.drv
      mips64el-linux/gnu/store/pgpr6mqm8zz7nyfwrnsglsw59ph2xxvw-verilator-4.204.drv
        i686-linux/gnu/store/zy0ks93c7h0k7lsm9id6xl5h7m45sq7r-verilator-4.204.drv
        i586-gnu/gnu/store/3lkfg5sxj65qdyrcz9y1d680rql9zf3i-verilator-4.204.drv
        armhf-linux/gnu/store/pxqvp46sb5ag0ry4xl5vsr96lvk4ayjj-verilator-4.204.drv
        aarch64-linux/gnu/store/gcwyhxnkbbkh9rzrs44lskmpivyv14p9-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")>