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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/h8hlmr3jvjbsv6sc6hh67sfpp2j8gadb-verilator-4.204.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/dyv6rl77ky1qkha6injh9iy4awpi7q7s-verilator-4.204.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/9ll4p17f2pzqqw6n1zcrqg1hzrcr8k8x-verilator-4.204.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/aki38bl57yvbql6l1qfyc4kmfzys48y7-verilator-4.204.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/7gs040hc5m66qm79azsvkm6mp1mxajdf-verilator-4.204.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/6hs1dpgynmc410qz05qiz4hajxxb26k4-verilator-4.204.drv
x86_64-linuxi686-w64-mingw32/gnu/store/z22fyxp5q8m95why3wcasy941c52lr2h-verilator-4.204.drv
x86_64-linuxi586-pc-gnu/gnu/store/gsgcbkllin4gww6j99n6wymx11ljdlgp-verilator-4.204.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/82y3pbbpia0p3n5vg4y1bywb2csrwvkk-verilator-4.204.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/427skx4i1immmzi559xxgjazgnrxikn1-verilator-4.204.drv
riscv64-linux/gnu/store/nja87jsyj4p75nv6w90h5bkjdj1lcwzg-verilator-4.204.drv
    powerpc-linux/gnu/store/xglcv4q96lw5kifjmmrrscfqqnzja43p-verilator-4.204.drv
      powerpc64le-linux/gnu/store/snslwqjhsa8a63mjni1qh1s86l2jkh8r-verilator-4.204.drv
      mips64el-linux/gnu/store/n146kcjbjc3df4vcspynmd2jp9k9xng0-verilator-4.204.drv
        i686-linux/gnu/store/n4gdlwd53vab3xvvs4axzj44f3azqx91-verilator-4.204.drv
        i586-gnu/gnu/store/9djl8qjg6c3ih1mglscwjpv52w8h12yn-verilator-4.204.drv
        armhf-linux/gnu/store/kwidwypa40sa69kk4553blwgkpgxh72v-verilator-4.204.drv
        aarch64-linux/gnu/store/0sj7ssc1f63zx0nrs7qvv7i9mjp982s1-verilator-4.204.drv

        Lint warnings

        LinterMessageLocation
        input-labels

        Identify input labels that do not match package names

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

        Validate package descriptions

        use @code or similar ornament instead of quotes
        description

        Validate package descriptions

        use @code or similar ornament instead of quotes