# ymherklotz/verismith

<https://repo.masters-masters.com/en/repos/ymherklotz/verismith>

[Home](https://repo.masters-masters.com/en) › [ymherklotz](https://repo.masters-masters.com/en/owners/ymherklotz) › [verismith](https://repo.masters-masters.com/en/repos/ymherklotz/verismith)

ymherklotz/verismith has 125 stars on GitHub. Its RepoMasters card: Prototype tier. Verilog Fuzzer to test the major simulators and sythesisers by generating…

| Field | Value |
| --- | --- |
| Owner | [ymherklotz](https://repo.masters-masters.com/en/owners/ymherklotz) |
| Stars | 125 |
| Forks | 14 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | GPL-3.0 |
| Created | 2018 |
| Topics | verilog, fuzzing |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ymherklotz/verismith](https://github.com/ymherklotz/verismith) |

## Repository

Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by ymherklotz

- [ymherklotz/vericert · ★ 101 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/ymherklotz/vericert)

## Nearby in Haskell

- [phadej/cabal-fmt · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/phadej/cabal-fmt)
- [nh2/hatrace · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/nh2/hatrace)
- [hercules-ci/hercules-ci-agent · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/hercules-ci/hercules-ci-agent)
- [jaspervdj/jaspervdj · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/jaspervdj/jaspervdj)
- [haskell/unix · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/haskell/unix)
- [danstiner/hfmt · ★ 125 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/danstiner/hfmt)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.