PrototypeCommon
ymherklotz/verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
- Owner
- ymherklotz (personal account)
- Stars
- Stars: 125
- Forks
- Forks: 14
- Language
- Haskell
- License
- GPL-3.0
- Created
- 2018
- Topics
- verilogfuzzing
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ymherklotz
All 2 repos by ymherklotz- ymherklotz/vericertStars: 101Rocq ProverPrototype
Nearby in Haskell
All Haskell repos- phadej/cabal-fmtStars: 125HaskellPrototype
- nh2/hatraceStars: 125HaskellPrototype
- hercules-ci/hercules-ci-agentStars: 125HaskellPrototype
- jaspervdj/jaspervdjStars: 125HaskellPrototype
- haskell/unixStars: 125HaskellPrototype
- danstiner/hfmtStars: 125HaskellPrototype