abcBridge-0.12: Bindings for ABC, A System for Sequential Synthesis and Verification

Copyright	Galois, Inc. 2010-2014
License	BSD3
Maintainer	jhendrix@galois.com
Stability	experimental
Portability	non-portable (c2hs, language extensions)
Safe Haskell	None
Language	Haskell98

Data.ABC.Internal.GIA

Contents

Memory management
Base
Functions

Description

Bindings to aig/gia/gia.h for manipulating and running algorithms on scalable and-inverter graphs (GIA), a representation that is optimized for memory-efficiency. These functions power the next-generation of ABC algorithms that have not been officially released yet, and can be identified by the prefix of an ampersand, as in &cec, in the interactive ABC interface.

Synopsis

Documentation

type Gia_Man_t = Ptr Gia_Man_t_ Source

data Gia_Man_t_ Source

giaManNObjs :: Field Gia_Man_t CInt Source

giaManFanData :: Gia_Man_t -> IO (Ptr CInt) Source

type Gia_Obj_t = Ptr Gia_Obj_t_ Source

A pointer to a GIA object. GIA objects are pointers to structs in ABC, and represent literals in the AIG. The low-order bit of the pointer is set to 1 if the literal has been complemented, and so care must be taken to only dereference positive pointers. The object is also a bitfield, so care must be taken when accessing fields.

Pointers to GIA objects may be invalidated when adding a new object.

getGiaObjValue :: Gia_Obj_t -> IO CUInt Source

setGiaObjValue :: Gia_Obj_t -> CUInt -> IO () Source

newtype GiaVar Source

Also known as the node's id. No complement info.

Constructors

GiaVar
Fields unGiaVar :: CInt

Instances

Eq GiaVar
Ord GiaVar
Storable GiaVar

newtype GiaLit Source

Literals store complement information.

Constructors

GiaLit
Fields unGiaLit :: CInt

Instances

Eq GiaLit
Ord GiaLit
Storable GiaLit

giaManConst0Lit :: GiaLit Source

giaManConst1Lit :: GiaLit Source

giaLitIsCompl :: GiaLit -> Bool Source

giaLitVar :: GiaLit -> GiaVar Source

giaVarLit :: GiaVar -> GiaLit Source

Returns positive literal associated to var.

giaLitNotCond :: GiaLit -> Bool -> GiaLit Source

Memory management

Base

Network getters

giaManCexComb :: Gia_Man_t -> IO Abc_Cex_t Source

giaManConst0 :: Gia_Man_t -> IO Gia_Obj_t Source

giaManCis :: Gia_Man_t -> IO Vec_Int_t Source

giaManCos :: Gia_Man_t -> IO Vec_Int_t Source

giaManCiNum :: Gia_Man_t -> IO CInt Source

giaManCoNum :: Gia_Man_t -> IO CInt Source

giaManPiNum :: Gia_Man_t -> IO CInt Source

giaManPoNum :: Gia_Man_t -> IO CInt Source

giaManAndNum :: Gia_Man_t -> IO CInt Source

getGiaManRegNum :: Gia_Man_t -> IO CInt Source

setGiaManRegNum :: Gia_Man_t -> CInt -> IO () Source

giaManCiVar :: Gia_Man_t -> CInt -> IO GiaVar Source

Get var index of combinational input at given index.

giaManCoVar :: Gia_Man_t -> CInt -> IO GiaVar Source

Get combinational output at given index.

giaManCi :: Gia_Man_t -> CInt -> IO Gia_Obj_t Source

Get combinational input at given index.

giaManCo :: Gia_Man_t -> CInt -> IO Gia_Obj_t Source

Get combinational output at given index.

giaManObj :: Gia_Man_t -> GiaVar -> IO Gia_Obj_t Source

Return object associated with gia var.

gia_none :: CUInt Source

giaObjIsCo :: Gia_Obj_t -> IO Bool Source

Returns true if this is a combinational output (latch or primary output).

giaObjDiff0 :: Gia_Obj_t -> IO CUInt Source

Returns iDiff0 field of object Note: iDiff0 is a bitfield, so this may be more likely to break on unexpected compilers.

giaObjDiff1 :: Gia_Obj_t -> IO CUInt Source

Returns iDiff1 field of object Note: iDiff1 is a bitfield, so this may be more likely to break on unexpected compilers.

giaObjFaninC0 :: Gia_Obj_t -> IO Bool Source

Get the complement attribute of first fanin

giaObjFaninC1 :: Gia_Obj_t -> IO Bool Source

giaObjMark0 :: Gia_Obj_t -> IO Bool Source

Get first user defined mark

giaObjMark1 :: Gia_Obj_t -> IO Bool Source

Get second user defined mark

giaObjChild0 :: Gia_Obj_t -> IO Gia_Obj_t Source

giaObjChild1 :: Gia_Obj_t -> IO Gia_Obj_t Source

giaObjFaninId0 :: Gia_Obj_t -> GiaVar -> IO GiaVar Source

giaObjFaninId1 :: Gia_Obj_t -> GiaVar -> IO GiaVar Source

giaObjIsTerm :: Gia_Obj_t -> IO Bool Source

giaObjIsAndOrConst0 :: Gia_Obj_t -> IO Bool Source

giaObjId :: Gia_Man_t -> Gia_Obj_t -> IO GiaVar Source

Returns the variable index associated with the object.

giaManObjNum :: Gia_Man_t -> IO CInt Source

Handling literals

giaLitNot :: GiaLit -> GiaLit Source

giaRegular :: Gia_Obj_t -> Gia_Obj_t Source

Remove negation.

giaIsComplement :: Gia_Obj_t -> Bool Source

giaObjToLit :: Gia_Man_t -> Gia_Obj_t -> IO GiaLit Source

giaObjFromLit :: Gia_Man_t -> GiaLit -> IO Gia_Obj_t Source

Iterators

giaManForEachObj1_ :: Gia_Man_t -> (Gia_Obj_t -> GiaVar -> IO b) -> IO () Source

giaManForEachCo :: Gia_Man_t -> (Gia_Obj_t -> Int -> IO b) -> IO [b] Source

Construction

giaManAppendCi :: Gia_Man_t -> IO GiaLit Source

giaManAppendCo :: Gia_Man_t -> GiaLit -> IO GiaLit Source

giaManAppendAnd :: Gia_Man_t -> GiaLit -> GiaLit -> IO GiaLit Source

This directly appends the literal to the GIA bypassing any hash-consing.

Functions

giaAiger.c

giaAigerRead :: String -> Bool -> Bool -> IO Gia_Man_t Source

giaAigerWrite :: Gia_Man_t -> String -> Bool -> Bool -> IO () Source

giaDup.c

giaManMiter :: Gia_Man_t -> Gia_Man_t -> Int -> Bool -> Bool -> Bool -> Bool -> IO Gia_Man_t Source

giaDupLit :: Gia_Man_t -> Gia_Man_t -> GiaLit -> IO GiaLit Source

giaManDupDfsLazyLit pNew p l copies a lit l in p to pNew and returns the lit in pNew.

giaManDupNormalize :: Gia_Man_t -> IO Gia_Man_t Source

giaHash.c

giaManHashAlloc :: Gia_Man_t -> IO () Source

giaManHashStart :: Gia_Man_t -> IO () Source

giaManHashStop :: Gia_Man_t -> IO () Source

giaManHashAnd :: Gia_Man_t -> GiaLit -> GiaLit -> IO GiaLit Source

giaManHashXor :: Gia_Man_t -> GiaLit -> GiaLit -> IO GiaLit Source

giaManHashMux :: Gia_Man_t -> GiaLit -> GiaLit -> GiaLit -> IO GiaLit Source

giaMan.c

giaManStart :: CInt -> IO Gia_Man_t Source

giaManStop :: Gia_Man_t -> IO () Source

p_giaManStop :: FunPtr (Gia_Man_t -> IO ()) Source

giaManCleanup :: Gia_Man_t -> IO Gia_Man_t Source

giaManFillValue :: Gia_Man_t -> IO () Source

misc

clearGiaObj :: Gia_Obj_t -> IO () Source