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/lagqrbsf89gzk280z0y08dvn7dsrkzb9-verilator-4.204.drv
x86_64-linuxxtensa-ath9k-elf/gnu/store/a3yjcwj09zr3jpn22a5q2wzzfnayd3by-verilator-4.204.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/4nmfq9jb3ykgi15xacwgdw8bmxv90cak-verilator-4.204.drv
    x86_64-linuxx86_64-linux-gnux32/gnu/store/ql392a30f0l3wk0xf44ap68jyrnmqlvq-verilator-4.204.drv
      x86_64-linuxriscv64-linux-gnu/gnu/store/3rc6pb5r8k5fs1lfaijjv6mn796id40m-verilator-4.204.drv
      x86_64-linuxpowerpc-linux-gnu/gnu/store/jf38mdd7k0zy3rz8v9ar84z9a1mfk9i8-verilator-4.204.drv
      x86_64-linuxpowerpc64-linux-gnu/gnu/store/kl4sib4m89qhvhwj2ynp0f114wyprzvy-verilator-4.204.drv
        x86_64-linuxpowerpc64le-linux-gnu/gnu/store/qcr196q8pij1qvd3q9h13mjr73jkfqqc-verilator-4.204.drv
        x86_64-linuxor1k-elf/gnu/store/5fxpxscq9ffm23gn55alyywnn2hxy11m-verilator-4.204.drv
        x86_64-linuxmips64el-linux-gnu/gnu/store/9lnf5wrhb5i8krx9yfk0rhxxs897gx7d-verilator-4.204.drv
        x86_64-linuxi686-w64-mingw32/gnu/store/l3ndqlf4yb4ws2ndy8sms9pq049blici-verilator-4.204.drv
        x86_64-linuxi586-pc-gnu/gnu/store/rq61azddarcblz6rni70hr5kx4mvbqzx-verilator-4.204.drv
        x86_64-linuxavr/gnu/store/kwp5i2q1lhj6xklqs8687zzvmnsg9qhs-verilator-4.204.drv
          x86_64-linuxarm-linux-gnueabihf/gnu/store/y6mf437y7cmprg857bphnk8km0p7p65j-verilator-4.204.drv
          x86_64-linuxaarch64-linux-gnu/gnu/store/jwm1pqj0hncgw9zhz0ffyl7hrlbk0cin-verilator-4.204.drv
          riscv64-linux/gnu/store/dvkx124i86g1x4jxwma7pzsl61zzdayj-verilator-4.204.drv
          powerpc-linux/gnu/store/42jaan2x53vqaf5cj96yvbj22vxm0rfs-verilator-4.204.drv
            powerpc64le-linux/gnu/store/1fkmqqmgfr6prdaz5vhfknzqsi6sff99-verilator-4.204.drv
            mips64el-linux/gnu/store/blp9sxy3a5jyapvj4rjcdiwbwrvynv8y-verilator-4.204.drv
              i686-linux/gnu/store/1lsbqd1b1wcpsb53pra40cw2i9pkmda3-verilator-4.204.drv
              i586-gnu/gnu/store/xln78qcszx9wh9438qz238r8fnxkhzpm-verilator-4.204.drv
              armhf-linux/gnu/store/zy6lvwznjcz51njr23i1n9aixcsnal2q-verilator-4.204.drv
              aarch64-linux/gnu/store/q6llnz8d0h4va54nkdqx9njfpw71fmlw-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'