verismith-1.1.0: Random verilog generation and simulator testing.

Copyright	(c) 2018-2019 Yann Herklotz
License	GPL-3
Maintainer	yann [at] yannherklotz [dot] com
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Verismith.Circuit.Random

Description

Define the random generation for the directed acyclic graph.

Synopsis

rDups :: (Eq a, Eq b) => Gr a b -> Gr a b
rDupsCirc :: Circuit -> Circuit
randomDAG :: Gen Circuit
genRandomDAG :: IO Circuit

Documentation

rDups :: (Eq a, Eq b) => Gr a b -> Gr a b Source #

Remove duplicates.

rDupsCirc :: Circuit -> Circuit Source #

Remove duplicates.

randomDAG Source #

Arguments

The generated graph. It uses Arbitrary to generate random instances of each node

Gen instance for a random acyclic DAG.

genRandomDAG :: IO Circuit Source #

Generate a random acyclic DAG with an IO instance.