Data.ABC

Contains main interface to ABC, a system for sequential synthesis and verification.

ABC provides many functions for manipulating Boolean networks. Internally, ABC provides two different ways of representing them: the older AIG interface, and a newer GIA interface. This library exposes both interfaces, along with a handful of functions for manipulating them.

Library setup and teardown

initialize :: IO ()

Initializes the ABC engine. This function may be safely called multiple times. Higher-level functions will automatically call this function, so it is only needed if using the FFI interfaces directly.

unsafeCleanup :: IO ()

Deinitializes the ABC engine. ABC operations may not be run after this function is called. Use with care; this may cause ABC datatypes to stop working.

Standard ABC interface

data AIG s

Instances

IsAIG Lit AIG

type AIGLit = Lit

aigNetwork :: Proxy AIGLit AIG

Proxy for AIG interface.

newAIG :: IO (SomeGraph AIG)

Build a new, empty AIG graph

readAigerAsAIG :: FilePath -> IO (Network AIGLit AIG)

Read an AIGER file as an AIG network.

New style ABC representation

data GIA s

An and-invertor graph network in GIA form.

Instances

IsAIG Lit GIA

type GIALit = Lit

giaNetwork :: Proxy GIALit GIA

Proxy for GIA interface.

newGIA :: IO (SomeGraph GIA)

Build a new empty GIA graph

readAigerAsGIA :: FilePath -> IO (Network GIALit GIA)

Read an AIGER file as a GIA network.

module Data.AIG