verismith-0.5.0.1: Random verilog generation and simulator testing.

Copyright(c) 2018-2019 Yann Herklotz
LicenseBSD-3
Maintaineryann [at] yannherklotz [dot] com
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Verismith.Circuit.Random

Description

Define the random generation for the directed acyclic graph.

Synopsis

Documentation

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

Remove duplicates.

rDupsCirc :: Circuit -> Circuit Source #

Remove duplicates.

randomDAG Source #

Arguments

:: Gen Circuit

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.