| Port details |
- hs-verismith Random verilog generation and simulator testing
- 1.1.0_2 cad
=0 1.1.0_1Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
 - Port Added: 2023-02-17 09:12:06
- Last Update: 2026-08-15 22:37:53
- Commit Hash: 331b0d9
- Also Listed In: haskell
- License: GPLv3
- WWW:
- https://hackage.haskell.org/package/verismith/
- https://github.com/ymherklotz/verismith/
- Description:
- Verilog fuzzer to test the major Verilog compilers by generating random, valid
and deterministic Verilog.
It currently supports the following synthesis tools: Yosys, Xst, Vivado, Quartus
and the following simulator: Icarus Verilog.
The fuzzer generates combinational and behavioural Verilog to test the various
tools. The most notable constructs that are supported and generated are the
following:
- module definitions with parameter definitions, inputs and outputs
- module items, such as instantiations, continuous assignment, always blocks,
initial blocks, parameter and local parameter declarations
- most expressions, for example concatenation, arithmetic operations, ternary
conditional operator
- behavioural code in sequential always blocks
- behavioural control flow such as if-else and for loops
- declaration of wires and variables of any size, signed or unsigned
- bit selection from wires and variables
 ¦ ¦ ¦ ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- hs-verismith>0:cad/hs-verismith
- To install the port:
- cd /usr/ports/cad/hs-verismith/ && make install clean
- To add the package, run one of these commands:
- pkg install cad/hs-verismith
- pkg install hs-verismith
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: hs-verismith
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1786738041
SHA256 (cabal/verismith-1.1.0/verismith-1.1.0.tar.gz) = 73fb19967d6819eeda67c1c979766df2ab93b86384898e446d53bfe655c76fc9
SIZE (cabal/verismith-1.1.0/verismith-1.1.0.tar.gz) = 191602
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:

- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ghc-9.10.3 : lang/ghc910
- cabal : devel/hs-cabal-install
- Library dependencies:
-
- libgmp.so : math/gmp
- libffi.so : devel/libffi
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- cad_hs-verismith
- USES:
- cabal
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
1.1.0_2 15 Aug 2026 22:37:53
    |
Älven (alven)  |
cad/hs-verismith: Improve port
* Switch upstream to Hackage
* Improve COMMENT and pkg-descr
Approved by: yuri@ (maintainer, Mentor)
Approved by: db@, yuri@ (Mentors, implicit)
Differential Revision: https://reviews.freebsd.org/D58847 |
1.1.0_1 27 Jul 2026 09:37:15
    |
Gleb Popov (arrowd)  |
cad/hs-verismith: Switch to GHC 9.10 |
1.1.0_1 24 Jul 2026 18:49:39
    |
Gleb Popov (arrowd)  |
cad/hs-verismith: Remove unused knob |
1.1.0_1 02 Jun 2026 15:08:32
    |
Piotr Kubaj (pkubaj)  |
cad/hs-verismith: fix build on powerpc64le
powerpc64le is 64-bit as well. |
1.1.0_1 19 Jul 2025 19:39:44
    |
Yuri Victorovich (yuri)  |
cad/hs-verismith: Update USE_CABAL
This should unbreak it.
Reported by: fallout |
1.1.0 16 May 2025 06:30:31
    |
Yuri Victorovich (yuri)  |
cad/hs-verismith: update 1.0.0.2-40 → 1.1.0
Reported by: portscout |
1.0.0.2.40 13 May 2025 07:34:35
    |
Gleb Popov (arrowd)  |
Haskell ports: Switch some to GHC 9.6 |
1.0.0.2.40 01 Sep 2024 19:45:45
    |
Yuri Victorovich (yuri)  Author: Älven |
cad/hs-verismith: update 1.0.0.2-39 → 1.0.0.2-40
PR: 281187 |
1.0.0.2.39 07 Jun 2023 19:01:45
    |
Gleb Popov (arrowd)  |
Haskell ports: Fix dependency on GHC 9.2 after its upgrade.
Reported by: pkg-fallout |
1.0.0.2.39 27 May 2023 08:44:42
    |
Gleb Popov (arrowd)  |
cad/hs-verismith: Switch to GHC 9.2 for building. |
1.0.0.2.39 19 Feb 2023 06:23:40
    |
Yuri Victorovich (yuri)  |
cad/hs-verismith: Add PORTSCOUT tag |
1.0.0.2.39 17 Feb 2023 09:11:28
    |
Yuri Victorovich (yuri)  |
cad/hs-verismith: New port: Verilog fuzzer |