Verismith.Circuit

Definition of the circuit graph.

Circuit

data Gate

The types for all the gates.

Constructors

And

Or

Xor

Instances

Bounded Gate

Defined in Verismith.Circuit.Base

Methods

minBound :: Gate

maxBound :: Gate

Enum Gate

Defined in Verismith.Circuit.Base

Methods

succ :: Gate -> Gate

pred :: Gate -> Gate

toEnum :: Int -> Gate

fromEnum :: Gate -> Int

enumFrom :: Gate -> [Gate]

enumFromThen :: Gate -> Gate -> [Gate]

enumFromTo :: Gate -> Gate -> [Gate]

enumFromThenTo :: Gate -> Gate -> Gate -> [Gate]

Eq Gate

Defined in Verismith.Circuit.Base

Methods

(==) :: Gate -> Gate -> Bool

(/=) :: Gate -> Gate -> Bool

Ord Gate

Defined in Verismith.Circuit.Base

Methods

compare :: Gate -> Gate -> Ordering

(<) :: Gate -> Gate -> Bool

(<=) :: Gate -> Gate -> Bool

(>) :: Gate -> Gate -> Bool

(>=) :: Gate -> Gate -> Bool

max :: Gate -> Gate -> Gate

min :: Gate -> Gate -> Gate

Show Gate

Defined in Verismith.Circuit.Base

Methods

showsPrec :: Int -> Gate -> ShowS

show :: Gate -> String

showList :: [Gate] -> ShowS

Random Gate

Defined in Verismith.Circuit.Base

Methods

randomR :: RandomGen g => (Gate, Gate) -> g -> (Gate, g)

random :: RandomGen g => g -> (Gate, g)

randomRs :: RandomGen g => (Gate, Gate) -> g -> [Gate]

randoms :: RandomGen g => g -> [Gate]

randomRIO :: (Gate, Gate) -> IO Gate

randomIO :: IO Gate

newtype Circuit

Newtype for the Circuit which implements a Graph from fgl.

Constructors

Circuit

Fields

• getCircuit :: Gr Gate ()

newtype CNode

Newtype for a node in the circuit, which is an 'LNode Gate'.

Constructors

CNode

Fields

• getCNode :: LNode Gate

newtype CEdge

Newtype for a named edge which is empty, as it does not need a label.

Constructors

CEdge

Fields

• getCEdge :: LEdge ()

fromGraph :: Gen ModDecl

generateAST :: Circuit -> Verilog

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

Remove duplicates.

rDupsCirc :: Circuit -> Circuit

Remove duplicates.

randomDAG

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

Generate a random acyclic DAG with an IO instance.