abc-master
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>
#include "misc/vec/vec.h"
#include "aig/hop/hop.h"
#include "aig/gia/gia.h"
#include "misc/st/st.h"
#include "misc/st/stmm.h"
#include "misc/nm/nm.h"
#include "misc/mem/mem.h"
#include "misc/util/utilCex.h"
#include "misc/extra/extra.h"
Go to the source code of this file.
Data Structures | |
struct | Abc_Time_t_ |
struct | Abc_Obj_t_ |
struct | Abc_Ntk_t_ |
struct | Abc_Des_t_ |
Macros | |
#define | Abc_NtkForEachObj(pNtk, pObj, i) |
ITERATORS ///. More... | |
#define | Abc_NtkForEachObjReverse(pNtk, pNode, i) |
#define | Abc_NtkForEachObjVec(vIds, pNtk, pObj, i) |
#define | Abc_NtkForEachObjVecStart(vIds, pNtk, pObj, i, Start) |
#define | Abc_NtkForEachNet(pNtk, pNet, i) |
#define | Abc_NtkForEachNode(pNtk, pNode, i) |
#define | Abc_NtkForEachNodeNotBarBuf(pNtk, pNode, i) |
#define | Abc_NtkForEachNode1(pNtk, pNode, i) |
#define | Abc_NtkForEachNodeNotBarBuf1(pNtk, pNode, i) |
#define | Abc_NtkForEachNodeReverse(pNtk, pNode, i) |
#define | Abc_NtkForEachNodeReverse1(pNtk, pNode, i) |
#define | Abc_NtkForEachBarBuf(pNtk, pNode, i) |
#define | Abc_NtkForEachGate(pNtk, pNode, i) |
#define | Abc_AigForEachAnd(pNtk, pNode, i) |
#define | Abc_NtkForEachNodeCi(pNtk, pNode, i) |
#define | Abc_NtkForEachNodeCo(pNtk, pNode, i) |
#define | Abc_NtkForEachBox(pNtk, pObj, i) for ( i = 0; (i < Vec_PtrSize((pNtk)->vBoxes)) && (((pObj) = Abc_NtkBox(pNtk, i)), 1); i++ ) |
#define | Abc_NtkForEachLatch(pNtk, pObj, i) |
#define | Abc_NtkForEachLatchInput(pNtk, pObj, i) |
#define | Abc_NtkForEachLatchOutput(pNtk, pObj, i) |
#define | Abc_NtkForEachWhitebox(pNtk, pObj, i) |
#define | Abc_NtkForEachBlackbox(pNtk, pObj, i) |
#define | Abc_NtkForEachPi(pNtk, pPi, i) for ( i = 0; (i < Abc_NtkPiNum(pNtk)) && (((pPi) = Abc_NtkPi(pNtk, i)), 1); i++ ) |
#define | Abc_NtkForEachCi(pNtk, pCi, i) for ( i = 0; (i < Abc_NtkCiNum(pNtk)) && (((pCi) = Abc_NtkCi(pNtk, i)), 1); i++ ) |
#define | Abc_NtkForEachPo(pNtk, pPo, i) for ( i = 0; (i < Abc_NtkPoNum(pNtk)) && (((pPo) = Abc_NtkPo(pNtk, i)), 1); i++ ) |
#define | Abc_NtkForEachCo(pNtk, pCo, i) for ( i = 0; (i < Abc_NtkCoNum(pNtk)) && (((pCo) = Abc_NtkCo(pNtk, i)), 1); i++ ) |
#define | Abc_NtkForEachLiPo(pNtk, pCo, i) for ( i = 0; (i < Abc_NtkCoNum(pNtk)) && (((pCo) = Abc_NtkCo(pNtk, i < pNtk->nBarBufs ? Abc_NtkCoNum(pNtk) - pNtk->nBarBufs + i : i - pNtk->nBarBufs)), 1); i++ ) |
#define | Abc_ObjForEachFanin(pObj, pFanin, i) for ( i = 0; (i < Abc_ObjFaninNum(pObj)) && (((pFanin) = Abc_ObjFanin(pObj, i)), 1); i++ ) |
#define | Abc_ObjForEachFanout(pObj, pFanout, i) for ( i = 0; (i < Abc_ObjFanoutNum(pObj)) && (((pFanout) = Abc_ObjFanout(pObj, i)), 1); i++ ) |
#define | Abc_CubeForEachVar(pCube, Value, i) for ( i = 0; (pCube[i] != ' ') && (Value = pCube[i]); i++ ) |
#define | Abc_SopForEachCube(pSop, nFanins, pCube) for ( pCube = (pSop); *pCube; pCube += (nFanins) + 3 ) |
#define | Abc_SopForEachCubePair(pSop, nFanins, pCube, pCube2) |
Typedefs | |
typedef struct Abc_Des_t_ | Abc_Des_t |
BASIC TYPES ///. More... | |
typedef struct Abc_Ntk_t_ | Abc_Ntk_t |
typedef struct Abc_Obj_t_ | Abc_Obj_t |
typedef struct Abc_Aig_t_ | Abc_Aig_t |
typedef struct Abc_ManTime_t_ | Abc_ManTime_t |
typedef struct Abc_ManCut_t_ | Abc_ManCut_t |
typedef struct Abc_Time_t_ | Abc_Time_t |
typedef struct Odc_Man_t_ | Odc_Man_t |
Enumerations | |
enum | Abc_NtkType_t { ABC_NTK_NONE = 0, ABC_NTK_NETLIST, ABC_NTK_LOGIC, ABC_NTK_STRASH, ABC_NTK_OTHER } |
INCLUDES ///. More... | |
enum | Abc_NtkFunc_t { ABC_FUNC_NONE = 0, ABC_FUNC_SOP, ABC_FUNC_BDD, ABC_FUNC_AIG, ABC_FUNC_MAP, ABC_FUNC_BLIFMV, ABC_FUNC_BLACKBOX, ABC_FUNC_OTHER } |
enum | Abc_ObjType_t { ABC_OBJ_NONE = 0, ABC_OBJ_CONST1, ABC_OBJ_PI, ABC_OBJ_PO, ABC_OBJ_BI, ABC_OBJ_BO, ABC_OBJ_NET, ABC_OBJ_NODE, ABC_OBJ_LATCH, ABC_OBJ_WHITEBOX, ABC_OBJ_BLACKBOX, ABC_OBJ_NUMBER } |
enum | Abc_InitType_t { ABC_INIT_NONE = 0, ABC_INIT_ZERO, ABC_INIT_ONE, ABC_INIT_DC, ABC_INIT_OTHER } |
#define Abc_AigForEachAnd | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_CubeForEachVar | ( | pCube, | |
Value, | |||
i | |||
) | for ( i = 0; (pCube[i] != ' ') && (Value = pCube[i]); i++ ) |
#define Abc_NtkForEachBarBuf | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachBlackbox | ( | pNtk, | |
pObj, | |||
i | |||
) |
#define Abc_NtkForEachBox | ( | pNtk, | |
pObj, | |||
i | |||
) | for ( i = 0; (i < Vec_PtrSize((pNtk)->vBoxes)) && (((pObj) = Abc_NtkBox(pNtk, i)), 1); i++ ) |
#define Abc_NtkForEachCi | ( | pNtk, | |
pCi, | |||
i | |||
) | for ( i = 0; (i < Abc_NtkCiNum(pNtk)) && (((pCi) = Abc_NtkCi(pNtk, i)), 1); i++ ) |
#define Abc_NtkForEachCo | ( | pNtk, | |
pCo, | |||
i | |||
) | for ( i = 0; (i < Abc_NtkCoNum(pNtk)) && (((pCo) = Abc_NtkCo(pNtk, i)), 1); i++ ) |
#define Abc_NtkForEachGate | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachLatch | ( | pNtk, | |
pObj, | |||
i | |||
) |
#define Abc_NtkForEachLatchInput | ( | pNtk, | |
pObj, | |||
i | |||
) |
#define Abc_NtkForEachLatchOutput | ( | pNtk, | |
pObj, | |||
i | |||
) |
#define Abc_NtkForEachLiPo | ( | pNtk, | |
pCo, | |||
i | |||
) | for ( i = 0; (i < Abc_NtkCoNum(pNtk)) && (((pCo) = Abc_NtkCo(pNtk, i < pNtk->nBarBufs ? Abc_NtkCoNum(pNtk) - pNtk->nBarBufs + i : i - pNtk->nBarBufs)), 1); i++ ) |
#define Abc_NtkForEachNet | ( | pNtk, | |
pNet, | |||
i | |||
) |
#define Abc_NtkForEachNode | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachNode1 | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachNodeCi | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachNodeCo | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachNodeNotBarBuf | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachNodeNotBarBuf1 | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachNodeReverse | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachNodeReverse1 | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachObj | ( | pNtk, | |
pObj, | |||
i | |||
) |
ITERATORS ///.
#define Abc_NtkForEachObjReverse | ( | pNtk, | |
pNode, | |||
i | |||
) |
#define Abc_NtkForEachObjVec | ( | vIds, | |
pNtk, | |||
pObj, | |||
i | |||
) |
#define Abc_NtkForEachObjVecStart | ( | vIds, | |
pNtk, | |||
pObj, | |||
i, | |||
Start | |||
) |
#define Abc_NtkForEachPi | ( | pNtk, | |
pPi, | |||
i | |||
) | for ( i = 0; (i < Abc_NtkPiNum(pNtk)) && (((pPi) = Abc_NtkPi(pNtk, i)), 1); i++ ) |
#define Abc_NtkForEachPo | ( | pNtk, | |
pPo, | |||
i | |||
) | for ( i = 0; (i < Abc_NtkPoNum(pNtk)) && (((pPo) = Abc_NtkPo(pNtk, i)), 1); i++ ) |
#define Abc_NtkForEachWhitebox | ( | pNtk, | |
pObj, | |||
i | |||
) |
#define Abc_ObjForEachFanin | ( | pObj, | |
pFanin, | |||
i | |||
) | for ( i = 0; (i < Abc_ObjFaninNum(pObj)) && (((pFanin) = Abc_ObjFanin(pObj, i)), 1); i++ ) |
#define Abc_ObjForEachFanout | ( | pObj, | |
pFanout, | |||
i | |||
) | for ( i = 0; (i < Abc_ObjFanoutNum(pObj)) && (((pFanout) = Abc_ObjFanout(pObj, i)), 1); i++ ) |
#define Abc_SopForEachCube | ( | pSop, | |
nFanins, | |||
pCube | |||
) | for ( pCube = (pSop); *pCube; pCube += (nFanins) + 3 ) |
#define Abc_SopForEachCubePair | ( | pSop, | |
nFanins, | |||
pCube, | |||
pCube2 | |||
) |
typedef struct Abc_Aig_t_ Abc_Aig_t |
typedef struct Abc_Des_t_ Abc_Des_t |
typedef struct Abc_ManCut_t_ Abc_ManCut_t |
typedef struct Abc_ManTime_t_ Abc_ManTime_t |
typedef struct Abc_Ntk_t_ Abc_Ntk_t |
typedef struct Abc_Obj_t_ Abc_Obj_t |
typedef struct Abc_Time_t_ Abc_Time_t |
typedef struct Odc_Man_t_ Odc_Man_t |
enum Abc_InitType_t |
enum Abc_NtkFunc_t |
Enumerator | |
---|---|
ABC_FUNC_NONE | |
ABC_FUNC_SOP | |
ABC_FUNC_BDD | |
ABC_FUNC_AIG | |
ABC_FUNC_MAP | |
ABC_FUNC_BLIFMV | |
ABC_FUNC_BLACKBOX | |
ABC_FUNC_OTHER |
enum Abc_NtkType_t |
INCLUDES ///.
CFile****************************************************************
FileName [abc.h]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [External declarations.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]PARAMETERS ///
Enumerator | |
---|---|
ABC_NTK_NONE | |
ABC_NTK_NETLIST | |
ABC_NTK_LOGIC | |
ABC_NTK_STRASH | |
ABC_NTK_OTHER |
enum Abc_ObjType_t |
Enumerator | |
---|---|
ABC_OBJ_NONE | |
ABC_OBJ_CONST1 | |
ABC_OBJ_PI | |
ABC_OBJ_PO | |
ABC_OBJ_BI | |
ABC_OBJ_BO | |
ABC_OBJ_NET | |
ABC_OBJ_NODE | |
ABC_OBJ_LATCH | |
ABC_OBJ_WHITEBOX | |
ABC_OBJ_BLACKBOX | |
ABC_OBJ_NUMBER |
FUNCTION DECLARATIONS ///.
FUNCTION DECLARATIONS ///.
Function*************************************************************
Synopsis [Allocates the local AIG manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 128 of file abcAig.c.
Function*************************************************************
Synopsis [Performs canonicization step.]
Description [The argument nodes can be complemented.]
SideEffects []
SeeAlso []
Definition at line 700 of file abcAig.c.
Function*************************************************************
Synopsis [Performs canonicization step.]
Description [The argument nodes can be complemented.]
SideEffects []
SeeAlso []
Definition at line 403 of file abcAig.c.
Function*************************************************************
Synopsis [Makes sure that every node in the table is in the network and vice versa.]
Description []
SideEffects []
SeeAlso []
Definition at line 226 of file abcAig.c.
Function*************************************************************
Synopsis [Returns the number of dangling nodes removed.]
Description []
SideEffects []
SeeAlso []
Definition at line 194 of file abcAig.c.
Function*************************************************************
Synopsis [Performs internal deletion step.]
Description []
SideEffects []
SeeAlso []
Definition at line 972 of file abcAig.c.
Function*************************************************************
Synopsis [Returns the DFS ordered array of logic nodes.]
Description [Collects only the internal nodes, leaving out CIs/COs. However it marks both CIs and COs with the current TravId.]
SideEffects []
SeeAlso []
Definition at line 1014 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns the DFS ordered array of logic nodes.]
Description [Collects only the internal nodes, leaving out CIs/COs. However it marks both CIs and COs with the current TravId.]
SideEffects []
SeeAlso []
Definition at line 1054 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns nodes by level from the smallest to the largest.]
Description [Correctly handles the case of choice nodes, by first spreading them out across several levels and then collecting.]
SideEffects [What happens with dangling nodes???]
SeeAlso []
Definition at line 1649 of file abcDfs.c.
Function*************************************************************
Synopsis [Implements the miter.]
Description []
SideEffects []
SeeAlso []
Definition at line 789 of file abcAig.c.
Function*************************************************************
Synopsis [Implements Boolean XOR.]
Description []
SideEffects []
SeeAlso []
Definition at line 752 of file abcAig.c.
ABC_DLL Abc_Obj_t* Abc_AigMuxLookup | ( | Abc_Aig_t * | pMan, |
Abc_Obj_t * | pC, | ||
Abc_Obj_t * | pT, | ||
Abc_Obj_t * | pE, | ||
int * | pType | ||
) |
Function*************************************************************
Synopsis [Returns the gate implementing EXOR of the two arguments if it exists.]
Description [The argument nodes can be complemented.]
SideEffects []
SeeAlso []
Definition at line 508 of file abcAig.c.
Function*************************************************************
Synopsis [Returns 1 if the node has at least one complemented fanout.]
Description [A fanout is complemented if the fanout's fanin edge pointing to the given node is complemented.]
SideEffects []
SeeAlso []
Definition at line 1224 of file abcAig.c.
Function*************************************************************
Synopsis [Returns 1 if the node has at least one complemented fanout.]
Description [A fanout is complemented if the fanout's fanin edge pointing to the given node is complemented. Only the fanouts with current TravId are counted.]
SideEffects []
SeeAlso []
Definition at line 1251 of file abcAig.c.
|
inlinestatic |
Definition at line 397 of file abc.h.
|
inlinestatic |
Definition at line 398 of file abc.h.
|
inlinestatic |
Definition at line 396 of file abc.h.
Function*************************************************************
Synopsis [Implements Boolean OR.]
Description []
SideEffects []
SeeAlso []
Definition at line 719 of file abcAig.c.
Function*************************************************************
Synopsis [Resizes the hash table of AIG nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 628 of file abcAig.c.
ABC_DLL void Abc_AigReplace | ( | Abc_Aig_t * | pMan, |
Abc_Obj_t * | pOld, | ||
Abc_Obj_t * | pNew, | ||
int | fUpdateLevel | ||
) |
Function*************************************************************
Synopsis [Replaces one AIG node by the other.]
Description []
SideEffects []
SeeAlso []
Definition at line 850 of file abcAig.c.
Function*************************************************************
Synopsis [Sets the correct phase of the nodes.]
Description [The AIG nodes should be in the DFS order.]
SideEffects []
SeeAlso []
Definition at line 1389 of file abcAig.c.
Function*************************************************************
Synopsis [Start the update list.]
Description []
SideEffects []
SeeAlso []
Definition at line 1420 of file abcAig.c.
Function*************************************************************
Synopsis [Implements Boolean XOR.]
Description []
SideEffects []
SeeAlso []
Definition at line 735 of file abcAig.c.
ABC_DLL Abc_Obj_t* Abc_AigXorLookup | ( | Abc_Aig_t * | pMan, |
Abc_Obj_t * | p0, | ||
Abc_Obj_t * | p1, | ||
int * | pType | ||
) |
Function*************************************************************
Synopsis [Returns the gate implementing EXOR of the two arguments if it exists.]
Description [The argument nodes can be complemented.]
SideEffects []
SeeAlso []
Definition at line 474 of file abcAig.c.
Function*************************************************************
Synopsis [Removes all pointers to the manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 70 of file abcLib.c.
DECLARATIONS ///.
CFile****************************************************************
FileName [abcLib.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Functions to manipulate verilog libraries.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis [Create the library.]
Description []
SideEffects []
SeeAlso []
Definition at line 45 of file abcLib.c.
Function*************************************************************
Synopsis [Duplicated the library.]
Description []
SideEffects []
SeeAlso []
Definition at line 133 of file abcLib.c.
Function*************************************************************
Synopsis [Detects the top-level models.]
Description []
SideEffects []
SeeAlso []
Definition at line 293 of file abcLib.c.
Function*************************************************************
Synopsis [Frees the library.]
Description []
SideEffects []
SeeAlso []
Definition at line 94 of file abcLib.c.
Function*************************************************************
Synopsis [Prints the library.]
Description []
SideEffects []
SeeAlso []
Definition at line 194 of file abcLib.c.
Function*************************************************************
Synopsis [Collects nodes in the DFS manner by level.]
Description [The number of levels should be set!!!]
SideEffects []
SeeAlso []
Definition at line 1129 of file abcDfs.c.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Function*************************************************************
Synopsis [Duplicates the timing manager with the PI/PO timing info.]
Description [The PIs/POs of the new network should be allocated.]
SideEffects []
SeeAlso []
Definition at line 481 of file abcTiming.c.
ABC_DLL void Abc_ManTimeStop | ( | Abc_ManTime_t * | p | ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 455 of file abcTiming.c.
ABC_DLL void Abc_NodeBddToCnf | ( | Abc_Obj_t * | pNode, |
Mem_Flex_t * | pMmMan, | ||
Vec_Str_t * | vCube, | ||
int | fAllPrimes, | ||
char ** | ppSop0, | ||
char ** | ppSop1 | ||
) |
Function*************************************************************
Synopsis [Computes the SOPs of the negative and positive phase of the node.]
Description []
SideEffects []
SeeAlso []
Definition at line 490 of file abcFunc.c.
|
inlinestatic |
ABC_DLL Vec_Ptr_t* Abc_NodeCollectTfoCands | ( | Abc_ManCut_t * | p, |
Abc_Obj_t * | pRoot, | ||
Vec_Ptr_t * | vLeaves, | ||
int | LevelMax | ||
) |
Function*************************************************************
Synopsis [Collects the TFO of the cut in the topological order.]
Description [TFO of the cut is defined as a set of nodes, for which the cut is a cut, that is, every path from the collected nodes to the CIs goes through a node in the cut. The nodes are collected if their level does not exceed the given number (LevelMax). The nodes are returned in the topological order. If the root node is given, its MFFC is marked, so that the collected nodes do not contain any nodes in the MFFC.]
SideEffects []
SeeAlso []
Definition at line 692 of file abcReconv.c.
Function*************************************************************
Synopsis [Procedure used for sorting the nodes in decreasing order of levels.]
Description []
SideEffects []
SeeAlso []
Definition at line 309 of file abcNames.c.
Function*************************************************************
Synopsis [Changes the polarity of one fanin.]
Description []
SideEffects []
SeeAlso []
Definition at line 1005 of file abcObj.c.
ABC_DLL void Abc_NodeConeCollect | ( | Abc_Obj_t ** | ppRoots, |
int | nRoots, | ||
Vec_Ptr_t * | vLeaves, | ||
Vec_Ptr_t * | vVisited, | ||
int | fIncludeFanins | ||
) |
Function*************************************************************
Synopsis [Get the nodes contained in the cut.]
Description []
SideEffects []
SeeAlso []
Definition at line 441 of file abcReconv.c.
Function*************************************************************
Synopsis [Converts SOP into MV-SOP.]
Description []
SideEffects []
SeeAlso []
Definition at line 1028 of file abcBlifMv.c.
Function*************************************************************
Synopsis [Evaluates the cost of the cut.]
Description [The Boolean function of the cut is specified by two SOPs, which represent the negative/positive polarities of the cut function. Converts these two SOPs into a mutually-agreed-upon representation to be passed to the internal cost-evaluation procedure (see the above prototype Abc_NodeEvalMvCostInternal).]
SideEffects []
SeeAlso []
Definition at line 1135 of file abcBlifMv.c.
ABC_DLL Vec_Ptr_t* Abc_NodeFindCut | ( | Abc_ManCut_t * | p, |
Abc_Obj_t * | pRoot, | ||
int | fContain | ||
) |
Function*************************************************************
Synopsis [Finds a fanin-limited, reconvergence-driven cut for the node.]
Description []
SideEffects []
SeeAlso []
Definition at line 253 of file abcReconv.c.
Function*************************************************************
Synopsis [Computes the cuts for the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 527 of file base/abci/abcCut.c.
Function*************************************************************
Synopsis [Gets fanin node names.]
Description []
SideEffects []
SeeAlso []
Definition at line 257 of file abcNames.c.
Function*************************************************************
Synopsis [Computes the cuts for the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 433 of file base/abci/abcCut.c.
Function*************************************************************
Synopsis [Computes the cuts for the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 412 of file base/abci/abcCut.c.
Function*************************************************************
Synopsis [Computes the cuts for the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 487 of file base/abci/abcCut.c.
Function*************************************************************
Synopsis [Gets fanin node names.]
Description []
SideEffects []
SeeAlso []
Definition at line 221 of file abcNames.c.
Function*************************************************************
Synopsis [Gets fanin node names.]
Description []
SideEffects []
SeeAlso []
Definition at line 199 of file abcNames.c.
Function*************************************************************
Synopsis [Checks if the internal node has CO drivers with the same name.]
Description [Checks if the internal node can borrow its name from CO fanouts. This is possible if all COs with non-complemented fanin edge pointing to this node have the same name.]
SideEffects []
SeeAlso []
Definition at line 823 of file abcUtil.c.
Function*************************************************************
Synopsis [Returns 1 if the node is the root of MUX or EXOR/NEXOR.]
Description []
SideEffects []
SeeAlso []
Definition at line 1301 of file abcUtil.c.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Function*************************************************************
Synopsis [Collects the support of the derefed MFFC.]
Description []
SideEffects []
SeeAlso []
Definition at line 299 of file abcRefs.c.
Function*************************************************************
Synopsis [Collects the internal nodes of the MFFC limited by cut.]
Description []
SideEffects [Increments the trav ID and marks visited nodes.]
SeeAlso []
Definition at line 437 of file abcRefs.c.
Function*************************************************************
Synopsis [Labels MFFC with the current traversal ID.]
Description []
SideEffects []
SeeAlso []
Definition at line 100 of file abcRefs.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Returns the MFFC size.]
Description []
SideEffects []
SeeAlso []
Definition at line 48 of file abcRefs.c.
Function*************************************************************
Synopsis [Returns the MFFC size while stopping at the complemented edges.]
Description []
SideEffects []
SeeAlso []
Definition at line 74 of file abcRefs.c.
Function*************************************************************
Synopsis [Makes one node minimum base.]
Description [Returns 1 if the node is changed.]
SideEffects []
SeeAlso []
Definition at line 70 of file abcMinBase.c.
Function*************************************************************
Synopsis [Prints the factored form of one node.]
Description []
SideEffects []
SeeAlso []
Definition at line 825 of file abcPrint.c.
Function*************************************************************
Synopsis [Prints the fanins/fanouts of a node.]
Description []
SideEffects []
SeeAlso []
Definition at line 752 of file abcPrint.c.
Function*************************************************************
Synopsis [Prints the factored form of one node.]
Description []
SideEffects []
SeeAlso []
Definition at line 985 of file abcPrint.c.
ABC_DLL Abc_Time_t* Abc_NodeReadArrival | ( | Abc_Obj_t * | pNode | ) |
Definition at line 77 of file abcTiming.c.
Definition at line 87 of file abcTiming.c.
Definition at line 95 of file abcTiming.c.
Function*************************************************************
Synopsis [Computes the cuts for the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 511 of file base/abci/abcCut.c.
ABC_DLL Abc_Time_t* Abc_NodeReadInputDrive | ( | Abc_Ntk_t * | pNtk, |
int | iPi | ||
) |
Definition at line 125 of file abcTiming.c.
Definition at line 135 of file abcTiming.c.
ABC_DLL Abc_Time_t* Abc_NodeReadOutputLoad | ( | Abc_Ntk_t * | pNtk, |
int | iPo | ||
) |
Definition at line 130 of file abcTiming.c.
Definition at line 139 of file abcTiming.c.
ABC_DLL Abc_Time_t* Abc_NodeReadRequired | ( | Abc_Obj_t * | pNode | ) |
Definition at line 82 of file abcTiming.c.
Definition at line 91 of file abcTiming.c.
Definition at line 99 of file abcTiming.c.
ABC_DLL Abc_Obj_t* Abc_NodeRecognizeMux | ( | Abc_Obj_t * | pNode, |
Abc_Obj_t ** | ppNodeT, | ||
Abc_Obj_t ** | ppNodeE | ||
) |
Function*************************************************************
Synopsis [Recognizes what nodes are control and data inputs of a MUX.]
Description [If the node is a MUX, returns the control variable C. Assigns nodes T and E to be the then and else variables of the MUX. Node C is never complemented. Nodes T and E can be complemented. This function also recognizes EXOR/NEXOR gates as MUXes.]
SideEffects []
SeeAlso []
Definition at line 1389 of file abcUtil.c.
Function*************************************************************
Synopsis [Removes duplicated fanins if present.]
Description [Returns the number of fanins removed.]
SideEffects []
SeeAlso []
Definition at line 180 of file abcMinBase.c.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Function*************************************************************
Synopsis [Strashes one logic node.]
Description [Assume the network is in the AIG form]
SideEffects []
SeeAlso []
Definition at line 468 of file abcStrash.c.
Function*************************************************************
Synopsis [Adds dummy names.]
Description []
SideEffects []
SeeAlso []
Definition at line 418 of file abcNames.c.
Function*************************************************************
Synopsis [Adds dummy names.]
Description []
SideEffects []
SeeAlso []
Definition at line 378 of file abcNames.c.
Function*************************************************************
Synopsis [Adds dummy names.]
Description []
SideEffects []
SeeAlso []
Definition at line 398 of file abcNames.c.
ABC_DLL Abc_Obj_t* Abc_NtkAddLatch | ( | Abc_Ntk_t * | pNtk, |
Abc_Obj_t * | pDriver, | ||
Abc_InitType_t | Init | ||
) |
Function*************************************************************
Synopsis [Creates latch with the given initial value.]
Description []
SideEffects []
SeeAlso []
Definition at line 260 of file abcLatch.c.
Function*************************************************************
Synopsis [Converts the network from AIG to BDD representation.]
Description []
SideEffects []
SeeAlso []
Definition at line 733 of file abcFunc.c.
Function*************************************************************
Synopsis [Converts the network from AIG to BDD representation.]
Description []
SideEffects []
SeeAlso []
Definition at line 935 of file abcFunc.c.
ABC_DLL Abc_Ntk_t* Abc_NtkAlloc | ( | Abc_NtkType_t | Type, |
Abc_NtkFunc_t | Func, | ||
int | fUseMemMan | ||
) |
DECLARATIONS ///.
CFile****************************************************************
FileName [abcNtk.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Network creation/duplication/deletion procedures.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis [Creates a new Ntk.]
Description []
SideEffects []
SeeAlso []
Definition at line 50 of file abcNtk.c.
Function*************************************************************
Synopsis [Appends the second network to the first.]
Description [Modifies the first network by adding the logic of the second. Performs structural hashing while appending the networks. Does not change the second network. Returns 0 if the appending failed, 1 otherise.]
SideEffects []
SeeAlso []
Definition at line 320 of file abcStrash.c.
Function*************************************************************
Synopsis [Adds new nodes to the cone.]
Description []
SideEffects []
SeeAlso []
Definition at line 969 of file abcNtk.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Attaches gates from the current library to the internal nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 60 of file abcAttach.c.
DECLARATIONS ///.
CFile****************************************************************
FileName [abcUtil.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Various utilities.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis [Frees one attribute manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 50 of file abcUtil.c.
ABC_DLL Abc_Ntk_t* Abc_NtkBalance | ( | Abc_Ntk_t * | pNtk, |
int | fDuplicate, | ||
int | fSelective, | ||
int | fUpdateLevel | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Balances the AIG network.]
Description []
SideEffects []
SeeAlso []
Definition at line 53 of file abcBalance.c.
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3935 of file abcDar.c.
Definition at line 462 of file abcBarBuf.c.
Function*************************************************************
Synopsis [Converts the network to dedicated barbufs and back.]
Description []
SideEffects []
SeeAlso []
Definition at line 424 of file abcBarBuf.c.
Function*************************************************************
Synopsis [Creates the network isomorphic to the union of local BDDs of the nodes.]
Description [The nodes of the local BDDs are converted into the network nodes with logic functions equal to the MUX.]
SideEffects []
SeeAlso []
Definition at line 125 of file abcNtbdd.c.
Function*************************************************************
Synopsis [Converts the network from BDD to SOP representation.]
Description [If the flag is set to 1, forces the direct phase of all covers.]
SideEffects []
SeeAlso []
Definition at line 359 of file abcFunc.c.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
ABC_DLL void* Abc_NtkBuildGlobalBdds | ( | Abc_Ntk_t * | pNtk, |
int | nBddSizeMax, | ||
int | fDropInternal, | ||
int | fReorder, | ||
int | fVerbose | ||
) |
Function*************************************************************
Synopsis [Derives global BDDs for the COs of the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 251 of file abcNtbdd.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Checks the integrity of the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 61 of file abcCheck.c.
Function*************************************************************
Synopsis [Checks the connectivity of the object.]
Description []
SideEffects []
SeeAlso []
Definition at line 414 of file abcCheck.c.
Function*************************************************************
Synopsis [Checks the integrity of the network after reading.]
Description []
SideEffects []
SeeAlso []
Definition at line 77 of file abcCheck.c.
Function*************************************************************
Synopsis [Returns 0 if CI names are repeated.]
Description []
SideEffects []
SeeAlso []
Definition at line 854 of file abcCheck.c.
Function*************************************************************
Synopsis [Returns 0 if there is a pair of CI/CO with the same name and logic in between.]
Description []
SideEffects []
SeeAlso []
Definition at line 919 of file abcCheck.c.
Function*************************************************************
Synopsis [Returns 0 if CO names are repeated.]
Description []
SideEffects []
SeeAlso []
Definition at line 885 of file abcCheck.c.
Function*************************************************************
Synopsis [Removes dangling nodes.]
Description [Returns the number of nodes removed.]
SideEffects []
SeeAlso []
Definition at line 476 of file abcSweep.c.
Function*************************************************************
Synopsis [Removes dangling nodes.]
Description [Returns the number of nodes removed.]
SideEffects []
SeeAlso []
Definition at line 501 of file abcSweep.c.
Function*************************************************************
Synopsis [Sequential cleanup.]
Description [Performs three tasks:
SideEffects []
SeeAlso []
Definition at line 909 of file abcSweep.c.
Function*************************************************************
Synopsis [Clones the objects in the same network but does not assign its function.]
Description []
SideEffects []
SeeAlso []
Definition at line 434 of file abcObj.c.
ABC_DLL Abc_Ntk_t* Abc_NtkCollapse | ( | Abc_Ntk_t * | pNtk, |
int | fBddSizeMax, | ||
int | fDualRail, | ||
int | fReorder, | ||
int | fVerbose | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Collapses the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 49 of file abcCollapse.c.
Function*************************************************************
Synopsis [Collects the CI or CO names.]
Description []
SideEffects []
SeeAlso []
Definition at line 278 of file abcNames.c.
Function*************************************************************
Synopsis [Collects all latches in the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 1627 of file abcUtil.c.
Function*************************************************************
Synopsis [Strashes one logic node using its SOP.]
Description []
SideEffects []
SeeAlso []
Definition at line 187 of file abcLatch.c.
Function*************************************************************
Synopsis [Derives latch init string.]
Description []
SideEffects []
SeeAlso []
Definition at line 209 of file abcLatch.c.
Function*************************************************************
Synopsis [Collects all objects into one array.]
Description []
SideEffects []
SeeAlso []
Definition at line 1725 of file abcUtil.c.
Function*************************************************************
Synopsis [Computes OR or AND of the POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 1151 of file abcMiter.c.
Function*************************************************************
Synopsis [Compares the signals of the networks.]
Description []
SideEffects [Ordering POs by name is a very bad idea! It destroys the natural order of the logic in the circuit.]
SeeAlso []
Definition at line 741 of file abcCheck.c.
Function*************************************************************
Synopsis [Transfors the array of latch names into that of latch numbers.]
Description []
SideEffects []
SeeAlso []
Definition at line 368 of file abcLatch.c.
Function*************************************************************
Synopsis [Extracts blackboxes by making them into additional PIs/POs.]
Description [The input netlist has not logic hierarchy. The resulting netlist has additional PIs/POs for each blackbox input/output.]
SideEffects []
SeeAlso []
Definition at line 598 of file abcHie.c.
Function*************************************************************
Synopsis [Converts registers with DC values into additional PIs.]
Description []
SideEffects []
SeeAlso []
Definition at line 314 of file abcLatch.c.
Function*************************************************************
Synopsis [Converts SOP netlist into BLIF-MV netlist.]
Description []
SideEffects []
SeeAlso []
Definition at line 954 of file abcBlifMv.c.
Function*************************************************************
Synopsis [Checks if latches form self-loop.]
Description []
SideEffects []
SeeAlso []
Definition at line 89 of file abcLatch.c.
Definition at line 305 of file abc.h.
Definition at line 311 of file abc.h.
Definition at line 306 of file abc.h.
ABC_DLL Abc_Ntk_t* Abc_NtkCreateCone | ( | Abc_Ntk_t * | pNtk, |
Abc_Obj_t * | pNode, | ||
char * | pNodeName, | ||
int | fUseAllCis | ||
) |
Function*************************************************************
Synopsis [Creates the network composed of one logic cone.]
Description []
SideEffects []
SeeAlso []
Definition at line 819 of file abcNtk.c.
Function*************************************************************
Synopsis [Creates the network composed of several logic cones.]
Description []
SideEffects []
SeeAlso []
Definition at line 889 of file abcNtk.c.
Function*************************************************************
Synopsis [Creates the network composed of one node.]
Description []
SideEffects []
SeeAlso []
Definition at line 1154 of file abcNtk.c.
Definition at line 309 of file abc.h.
Function*************************************************************
Synopsis [Creates the network composed of MFFC of one node.]
Description []
SideEffects []
SeeAlso []
Definition at line 1022 of file abcNtk.c.
Definition at line 307 of file abc.h.
Definition at line 308 of file abc.h.
Function*************************************************************
Synopsis [Creates AND.]
Description []
SideEffects []
SeeAlso []
Definition at line 722 of file abcObj.c.
Function*************************************************************
Synopsis [Creates buffer.]
Description []
SideEffects []
SeeAlso []
Definition at line 692 of file abcObj.c.
Function*************************************************************
Synopsis [Creates constant 0 node.]
Description []
SideEffects []
SeeAlso []
Definition at line 604 of file abcObj.c.
Function*************************************************************
Synopsis [Creates constant 1 node.]
Description []
SideEffects []
SeeAlso []
Definition at line 633 of file abcObj.c.
Function*************************************************************
Synopsis [Creates EXOR.]
Description []
SideEffects []
SeeAlso []
Definition at line 782 of file abcObj.c.
Function*************************************************************
Synopsis [Creates inverter.]
Description []
SideEffects []
SeeAlso []
Definition at line 662 of file abcObj.c.
ABC_DLL Abc_Obj_t* Abc_NtkCreateNodeMux | ( | Abc_Ntk_t * | pNtk, |
Abc_Obj_t * | pNodeC, | ||
Abc_Obj_t * | pNode1, | ||
Abc_Obj_t * | pNode0 | ||
) |
Function*************************************************************
Synopsis [Creates MUX.]
Description []
SideEffects []
SeeAlso []
Definition at line 812 of file abcObj.c.
Function*************************************************************
Synopsis [Creates OR.]
Description []
SideEffects []
SeeAlso []
Definition at line 752 of file abcObj.c.
ABC_DLL Abc_Obj_t * Abc_NtkCreateObj | ( | Abc_Ntk_t * | pNtk, |
Abc_ObjType_t | Type | ||
) |
Function*************************************************************
Synopsis [Adds the node to the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 106 of file abcObj.c.
Definition at line 303 of file abc.h.
Definition at line 304 of file abc.h.
ABC_DLL Abc_Ntk_t* Abc_NtkCreateTarget | ( | Abc_Ntk_t * | pNtk, |
Vec_Ptr_t * | vRoots, | ||
Vec_Int_t * | vValues | ||
) |
Function*************************************************************
Synopsis [Creates the miter composed of one multi-output cone.]
Description []
SideEffects []
SeeAlso []
Definition at line 1094 of file abcNtk.c.
Definition at line 310 of file abc.h.
Function*************************************************************
Synopsis [Creates the network composed of one node with the given SOP.]
Description []
SideEffects []
SeeAlso []
Definition at line 1192 of file abcNtk.c.
ABC_DLL Abc_Ntk_t* Abc_NtkDarLatchSweep | ( | Abc_Ntk_t * | pNtk, |
int | fLatchConst, | ||
int | fLatchEqual, | ||
int | fSaveNames, | ||
int | fUseMvSweep, | ||
int | nFramesSymb, | ||
int | nFramesSatur, | ||
int | fVerbose, | ||
int | fVeryVerbose | ||
) |
Function*************************************************************
Synopsis [Gives the current ABC network to AIG manager for processing.]
Description []
SideEffects []
SeeAlso []
Definition at line 3203 of file abcDar.c.
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 3911 of file abcDar.c.
Function*************************************************************
Synopsis [Performs delay-trace of the network. If input (pIn) or output (pOut) are given, finds the most-timing-critical path between them and prints it to the standard output. If input and/or output are not given, finds the most-critical path in the network and prints it.]
Description []
SideEffects []
SeeAlso []
Definition at line 919 of file abcTiming.c.
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 100 of file abcSpeedup.c.
Function*************************************************************
Synopsis [Deletes the Ntk.]
Description []
SideEffects []
SeeAlso []
Definition at line 1233 of file abcNtk.c.
Function*************************************************************
Synopsis [Deletes the node and MFFC of the node.]
Description []
SideEffects []
SeeAlso []
Definition at line 310 of file abcObj.c.
Function*************************************************************
Synopsis [Deletes the object from the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 167 of file abcObj.c.
Function*************************************************************
Synopsis [Deletes the node and MFFC of the node.]
Description []
SideEffects []
SeeAlso []
Definition at line 273 of file abcObj.c.
Function*************************************************************
Synopsis [Deletes the PO from the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 244 of file abcObj.c.
ABC_DLL Abc_Ntk_t* Abc_NtkDeriveFromBdd | ( | void * | dd0, |
void * | bFunc, | ||
char * | pNamePo, | ||
Vec_Ptr_t * | vNamesPi | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Constructs the network isomorphic to the given BDD.]
Description [Assumes that the BDD depends on the variables whose indexes correspond to the names in the array (pNamesPi). Otherwise, returns NULL. The resulting network comes with one node, whose functionality is equal to the given BDD. To decompose this BDD into the network of multiplexers use Abc_NtkBddToMuxes(). To decompose this BDD into an And-Inverter Graph, use Abc_NtkStrash().]
SideEffects []
SeeAlso []
Definition at line 56 of file abcNtbdd.c.
Function*************************************************************
Synopsis [Returns the DFS ordered array of logic nodes.]
Description [Collects only the internal nodes, leaving out CIs and CO. However it marks with the current TravId both CIs and COs.]
SideEffects []
SeeAlso []
Definition at line 81 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns the DFS ordered array of all objects.]
Description [This procedure collects everything from POs to PIs.]
SideEffects []
SeeAlso []
Definition at line 634 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns the DFS ordered array of logic nodes.]
Description [Collects only the internal nodes, leaving CIs and CO. However it marks with the current TravId both CIs and COs.]
SideEffects []
SeeAlso []
Definition at line 542 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns the DFS ordered array of logic nodes.]
Description [Collects only the internal nodes, leaving CIs and CO. However it marks with the current TravId both CIs and COs.]
SideEffects []
SeeAlso []
Definition at line 580 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns the DFS ordered array of logic nodes.]
Description [Collects only the internal nodes, leaving out PIs, POs and latches.]
SideEffects []
SeeAlso []
Definition at line 120 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns the reverse DFS ordered array of logic nodes.]
Description [Collects only the internal nodes, leaving out CIs/COs. However it marks both CIs and COs with the current TravId.]
SideEffects []
SeeAlso []
Definition at line 190 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns the levelized array of TFO nodes.]
Description [Collects the levelized array of internal nodes, leaving out CIs/COs. However it marks both CIs and COs with the current TravId.]
SideEffects []
SeeAlso []
Definition at line 263 of file abcDfs.c.
ABC_DLL Vec_Ptr_t* Abc_NtkDfsReverseNodesContained | ( | Abc_Ntk_t * | pNtk, |
Abc_Obj_t ** | ppNodes, | ||
int | nNodes | ||
) |
Function*************************************************************
Synopsis [Returns the levelized array of TFO nodes.]
Description [Collects the levelized array of internal nodes, leaving out CIs/COs. However it marks both CIs and COs with the current TravId. Collects only the nodes whose support does not exceed the set of given CI nodes.]
SideEffects []
SeeAlso []
Definition at line 298 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns the array of nodes and latches reachable from POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 397 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns the array of nodes and latches reachable from POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 454 of file abcDfs.c.
Definition at line 768 of file abcDfs.c.
Function*************************************************************
Synopsis [Checks the integrity of the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 93 of file abcCheck.c.
ABC_DLL Odc_Man_t* Abc_NtkDontCareAlloc | ( | int | nVarsMax, |
int | nLevels, | ||
int | fVerbose, | ||
int | fVeryVerbose | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Allocates the don't-care manager.]
Description [The parameters are the max number of cut variables, the number of fanout levels used for the ODC computation, and verbosiness.]
SideEffects []
SeeAlso []
Definition at line 162 of file abcOdc.c.
Function*************************************************************
Synopsis [Clears the manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 242 of file abcOdc.c.
ABC_DLL int Abc_NtkDontCareCompute | ( | Odc_Man_t * | p, |
Abc_Obj_t * | pNode, | ||
Vec_Ptr_t * | vLeaves, | ||
unsigned * | puTruth | ||
) |
Function*************************************************************
Synopsis [Computes ODCs for the node in terms of the cut variables.]
Description [Returns the number of don't care minterms in the truth table. In particular, this procedure returns 0 if there is no don't-cares.]
SideEffects []
SeeAlso []
Definition at line 1033 of file abcOdc.c.
Function*************************************************************
Synopsis [Duplicate the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 419 of file abcNtk.c.
Function*************************************************************
Synopsis [Duplicates the latch with its input/output terminals.]
Description []
SideEffects []
SeeAlso []
Definition at line 407 of file abcObj.c.
Definition at line 476 of file abcNtk.c.
Function*************************************************************
Synopsis [Duplicate the Obj.]
Description []
SideEffects []
SeeAlso []
Definition at line 337 of file abcObj.c.
Function*************************************************************
Synopsis [Duplicate the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 563 of file abcNtk.c.
Function*************************************************************
Synopsis [Creates the array of fanout counters.]
Description []
SideEffects []
SeeAlso []
Definition at line 1701 of file abcUtil.c.
Function*************************************************************
Synopsis [Returns the twin node if it exists.]
Description []
SideEffects []
SeeAlso []
Definition at line 740 of file abcMap.c.
Function*************************************************************
Synopsis [Finalizes the network using the existing network as a model.]
Description []
SideEffects []
SeeAlso []
Definition at line 302 of file abcNtk.c.
Function*************************************************************
Synopsis [Finalizes the network using the existing network as a model.]
Description []
SideEffects []
SeeAlso []
Definition at line 360 of file abcNtk.c.
Function*************************************************************
Synopsis [Returns the net with the given name.]
Description []
SideEffects []
SeeAlso []
Definition at line 456 of file abcObj.c.
Function*************************************************************
Synopsis [Finds or creates the net.]
Description []
SideEffects []
SeeAlso []
Definition at line 579 of file abcObj.c.
Function*************************************************************
Synopsis [Reads the verilog file.]
Description []
SideEffects []
SeeAlso []
Definition at line 1360 of file abcNtk.c.
ABC_DLL Gia_Man_t* Abc_NtkFlattenHierarchyGia | ( | Abc_Ntk_t * | pNtk, |
Vec_Ptr_t ** | pvBuffers, | ||
int | fVerbose | ||
) |
Definition at line 277 of file abcHieGia.c.
Function*************************************************************
Synopsis [Flattens the logic hierarchy of the netlist.]
Description []
SideEffects []
SeeAlso []
Definition at line 514 of file abcHie.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Interfaces the network with the FRAIG package.]
Description []
SideEffects []
SeeAlso []
Definition at line 58 of file abcFraig.c.
Function*************************************************************
Synopsis [Interfaces the network with the FRAIG package.]
Description []
SideEffects []
SeeAlso []
Definition at line 694 of file abcFraig.c.
Function*************************************************************
Synopsis [Interfaces the network with the FRAIG package.]
Description []
SideEffects []
SeeAlso []
Definition at line 654 of file abcFraig.c.
ABC_DLL void Abc_NtkFraigStoreClean | ( | ) |
Function*************************************************************
Synopsis [Interfaces the network with the FRAIG package.]
Description []
SideEffects []
SeeAlso []
Definition at line 762 of file abcFraig.c.
Function*************************************************************
Synopsis [Interfaces the network with the FRAIG package.]
Description []
SideEffects []
SeeAlso []
Definition at line 485 of file abcFraig.c.
Function*************************************************************
Synopsis [Derives the timeframes of the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 772 of file abcMiter.c.
Function*************************************************************
Synopsis [Frees the global BDDs of the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 476 of file abcNtbdd.c.
Function*************************************************************
Synopsis [Stops the Mv-Var manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 66 of file abcBlifMv.c.
Definition at line 263 of file abcBarBuf.c.
Function*************************************************************
Synopsis [Reads the number of BDD nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 240 of file abcUtil.c.
Function*************************************************************
Synopsis [Sets the CI node levels according to the arrival info.]
Description []
SideEffects []
SeeAlso []
Definition at line 658 of file abcTiming.c.
ABC_DLL Abc_Time_t* Abc_NtkGetCiArrivalTimes | ( | Abc_Ntk_t * | pNtk | ) |
Function*************************************************************
Synopsis [Sets the CI node levels according to the arrival info.]
Description []
SideEffects []
SeeAlso []
Definition at line 619 of file abcTiming.c.
Function*************************************************************
Synopsis [Returns the array of CI IDs.]
Description []
SideEffects []
SeeAlso []
Definition at line 1747 of file abcUtil.c.
Function*************************************************************
Synopsis [Reads the number of BDD nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 293 of file abcUtil.c.
Definition at line 676 of file abcTiming.c.
ABC_DLL Abc_Time_t* Abc_NtkGetCoRequiredTimes | ( | Abc_Ntk_t * | pNtk | ) |
Definition at line 632 of file abcTiming.c.
Function*************************************************************
Synopsis [Computes the area of the mapped circuit.]
Description []
SideEffects []
SeeAlso []
Definition at line 334 of file abcUtil.c.
|
inlinestatic |
Definition at line 428 of file abc.h.
|
inlinestatic |
Definition at line 430 of file abc.h.
|
inlinestatic |
Definition at line 429 of file abc.h.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Definition at line 406 of file abc.h.
Function*************************************************************
Synopsis [Inserts processed network into original base MV network.]
Description [The original network remembers the interface of combinational logic (PIs/POs/latches names and values). The processed network may be binary or multi-valued (currently, multi-value is not supported). The resulting network has the same interface as the original network while the internal logic is the same as that of the processed network.]
SideEffects []
SeeAlso []
Definition at line 909 of file abcBlifMv.c.
Definition at line 390 of file abcHieGia.c.
Function*************************************************************
Synopsis [Strashes one logic node using its SOP.]
Description []
SideEffects []
SeeAlso []
Definition at line 241 of file abcLatch.c.
Function*************************************************************
Synopsis [Inserts blackboxes into the netlist.]
Description [The first arg is the netlist with blackboxes without logic hierarchy. The second arg is a non-hierarchical netlist derived from the above netlist after processing. This procedure create a new netlist, which is comparable to the original netlist with blackboxes, except that it contains logic nodes from the netlist after processing.]
SideEffects [This procedure silently assumes that blackboxes appear only in the top-level model. If they appear in other models as well, the name of the model and its number were appended to the names of blackbox inputs/outputs.]
SeeAlso []
Definition at line 691 of file abcHie.c.
Function*************************************************************
Synopsis [Detects combinational loops.]
Description [This procedure is based on the idea suggested by Donald Chai. As we traverse the network and visit the nodes, we need to distinquish three types of nodes: (1) those that are visited for the first time, (2) those that have been visited in this traversal but are currently not on the traversal path, (3) those that have been visited and are currently on the travesal path. When the node of type (3) is encountered, it means that there is a combinational loop. To mark the three types of nodes, two new values of the traversal IDs are used.]
SideEffects []
SeeAlso []
Definition at line 1422 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns 0 if the network hierachy contains a cycle.]
Description []
SideEffects []
SeeAlso []
Definition at line 809 of file abcCheck.c.
Definition at line 1510 of file abcDfs.c.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Function*************************************************************
Synopsis [Returns the PO values under the given input pattern.]
Description []
SideEffects []
SeeAlso []
Definition at line 1061 of file abcVerify.c.
Function*************************************************************
Synopsis [Returns 1 if the number of PIs matches.]
Description []
SideEffects []
SeeAlso []
Definition at line 1093 of file abcVerify.c.
Function*************************************************************
Synopsis [Gives the current ABC network to AIG manager for processing.]
Description []
SideEffects []
SeeAlso []
Definition at line 498 of file abcIvy.c.
Function*************************************************************
Synopsis [Checks if latches form self-loop.]
Description []
SideEffects []
SeeAlso []
Definition at line 68 of file abcLatch.c.
|
inlinestatic |
Function*************************************************************
Synopsis [Computes the number of logic levels not counting PIs/POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 1265 of file abcDfs.c.
Function*************************************************************
Synopsis [Computes the number of logic levels not counting PIs/POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 1239 of file abcDfs.c.
Function*************************************************************
Synopsis [Returns 1 if COs of a logic network are simple.]
Description [The COs of a logic network are simple under three conditions: (1) The edge from CO to its driver is not complemented. (2) If CI is a driver of a CO, they have the same name.] (3) If two COs share the same driver, they have the same name.]
SideEffects []
SeeAlso []
Definition at line 909 of file abcUtil.c.
Function*************************************************************
Synopsis [Removes complemented SOP covers.]
Description []
SideEffects []
SeeAlso []
Definition at line 509 of file abcFunc.c.
Function*************************************************************
Synopsis [Transforms the network to have simple COs.]
Description []
SideEffects []
SeeAlso []
Definition at line 1047 of file abcUtil.c.
Function*************************************************************
Synopsis [Converts the network to combinational.]
Description []
SideEffects []
SeeAlso []
Definition at line 1422 of file abcNtk.c.
ABC_DLL Vec_Ptr_t* Abc_NtkManCutReadCutLarge | ( | Abc_ManCut_t * | p | ) |
Function*************************************************************
Synopsis [Returns the leaves of the cone.]
Description []
SideEffects []
SeeAlso []
Definition at line 637 of file abcReconv.c.
ABC_DLL Vec_Ptr_t* Abc_NtkManCutReadCutSmall | ( | Abc_ManCut_t * | p | ) |
Function*************************************************************
Synopsis [Returns the leaves of the cone.]
Description []
SideEffects []
SeeAlso []
Definition at line 653 of file abcReconv.c.
ABC_DLL Vec_Ptr_t* Abc_NtkManCutReadVisited | ( | Abc_ManCut_t * | p | ) |
Function*************************************************************
Synopsis [Returns the leaves of the cone.]
Description []
SideEffects []
SeeAlso []
Definition at line 669 of file abcReconv.c.
ABC_DLL Abc_ManCut_t* Abc_NtkManCutStart | ( | int | nNodeSizeMax, |
int | nConeSizeMax, | ||
int | nNodeFanStop, | ||
int | nConeFanStop | ||
) |
Function*************************************************************
Synopsis [Starts the resynthesis manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 588 of file abcReconv.c.
ABC_DLL void Abc_NtkManCutStop | ( | Abc_ManCut_t * | p | ) |
Function*************************************************************
Synopsis [Stops the resynthesis manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 616 of file abcReconv.c.
Function*************************************************************
Synopsis [Unmaps the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 1073 of file abcFunc.c.
Function*************************************************************
Synopsis [Marks nodes for power-optimization.]
Description []
SideEffects []
SeeAlso []
Definition at line 132 of file abcPrint.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Makes nodes minimum base.]
Description [Returns the number of changed nodes.]
SideEffects []
SeeAlso []
Definition at line 48 of file abcMinBase.c.
ABC_DLL Abc_Ntk_t* Abc_NtkMiter | ( | Abc_Ntk_t * | pNtk1, |
Abc_Ntk_t * | pNtk2, | ||
int | fComb, | ||
int | nPartSize, | ||
int | fImplic, | ||
int | fMulti | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Derives the miter of two networks.]
Description [Preprocesses the networks to make sure that they are strashed.]
SideEffects []
SeeAlso []
Definition at line 56 of file abcMiter.c.
Function*************************************************************
Synopsis [Performs mitering for one network.]
Description []
SideEffects []
SeeAlso []
Definition at line 251 of file abcMiter.c.
Function*************************************************************
Synopsis [Derives the AND of two miters.]
Description [The network should have the same names of PIs.]
SideEffects []
SeeAlso []
Definition at line 384 of file abcMiter.c.
Function*************************************************************
Synopsis [Derives the cofactor of the miter w.r.t. the set of vars.]
Description [The array of variable values contains -1/0/1 for each PI. -1 means this PI remains, 0/1 means this PI is set to 0/1.]
SideEffects []
SeeAlso []
Definition at line 447 of file abcMiter.c.
Function*************************************************************
Synopsis [Derives the miter of two cofactors of one output.]
Description []
SideEffects []
SeeAlso []
Definition at line 514 of file abcMiter.c.
Function*************************************************************
Synopsis [Checks the status of the miter.]
Description [Return 0 if the miter is sat for at least one output. Return 1 if the miter is unsat for all its outputs. Returns -1 if the miter is undecided for some outputs.]
SideEffects []
SeeAlso []
Definition at line 679 of file abcMiter.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Attempts to solve the miter using a number of tricks.]
Description [Returns -1 if timed out; 0 if SAT; 1 if UNSAT. Returns a simplified version of the original network (or a constant 0 network). In case the network is not a constant zero and a SAT assignment is found, pNtk->pModel contains a satisfying assignment.]
SideEffects []
SeeAlso []
Definition at line 59 of file abcProve.c.
Function*************************************************************
Synopsis [Derives the miter of two cofactors of one output.]
Description []
SideEffects []
SeeAlso []
Definition at line 582 of file abcMiter.c.
Function*************************************************************
Synopsis [Quantifies all the PIs existentially from the only PO of the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 645 of file abcMiter.c.
Function*************************************************************
Synopsis [Reports the status of the miter.]
Description []
SideEffects []
SeeAlso []
Definition at line 724 of file abcMiter.c.
ABC_DLL int Abc_NtkMiterSat | ( | Abc_Ntk_t * | pNtk, |
ABC_INT64_T | nConfLimit, | ||
ABC_INT64_T | nInsLimit, | ||
int | fVerbose, | ||
ABC_INT64_T * | pNumConfs, | ||
ABC_INT64_T * | pNumInspects | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Attempts to solve the miter using an internal SAT sat_solver.]
Description [Returns -1 if timed out; 0 if SAT; 1 if UNSAT.]
SideEffects []
SeeAlso []
Definition at line 53 of file abcSat.c.
Function*************************************************************
Synopsis [Sets up the SAT sat_solver.]
Description []
SideEffects []
SeeAlso []
Definition at line 629 of file abcSat.c.
|
inlinestatic |
Definition at line 435 of file abc.h.
|
inlinestatic |
Definition at line 436 of file abc.h.
|
inlinestatic |
|
inlinestatic |
Function*************************************************************
Synopsis [Returns the set of CI nodes in the support of the given nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 859 of file abcDfs.c.
Function*************************************************************
Synopsis [Orders PIs/POs/latches alphabetically.]
Description []
SideEffects []
SeeAlso []
Definition at line 335 of file abcNames.c.
ABC_DLL void Abc_NtkPermute | ( | Abc_Ntk_t * | pNtk, |
int | fInputs, | ||
int | fOutputs, | ||
int | fFlops, | ||
char * | pFlopPermFile | ||
) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1906 of file abcNtk.c.
Function*************************************************************
Synopsis [Performs phase abstraction.]
Description []
SideEffects []
SeeAlso []
Definition at line 4002 of file abcDar.c.
ABC_DLL int Abc_NtkPrepareTwoNtks | ( | FILE * | pErr, |
Abc_Ntk_t * | pNtk, | ||
char ** | argv, | ||
int | argc, | ||
Abc_Ntk_t ** | ppNtk1, | ||
Abc_Ntk_t ** | ppNtk2, | ||
int * | pfDelete1, | ||
int * | pfDelete2 | ||
) |
Function*************************************************************
Synopsis [Prepares two network for a two-argument command similar to "verify".]
Description []
SideEffects []
SeeAlso []
Definition at line 1481 of file abcUtil.c.
Function*************************************************************
Synopsis [Prints information about boxes.]
Description []
SideEffects []
SeeAlso []
Definition at line 431 of file abcHie.c.
Function*************************************************************
Synopsis [Prints the factored form of one node.]
Description []
SideEffects []
SeeAlso []
Definition at line 805 of file abcPrint.c.
Function*************************************************************
Synopsis [Prints the distribution of fanins/fanouts in the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 546 of file abcPrint.c.
Function*************************************************************
Synopsis [Prints the distribution of fanins/fanouts in the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 625 of file abcPrint.c.
Function*************************************************************
Synopsis [Prints PIs/POs and LIs/LOs.]
Description []
SideEffects []
SeeAlso []
Definition at line 436 of file abcPrint.c.
Function*************************************************************
Synopsis [Prints statistics about latches.]
Description []
SideEffects []
SeeAlso []
Definition at line 473 of file abcPrint.c.
ABC_DLL void Abc_NtkPrintLevel | ( | FILE * | pFile, |
Abc_Ntk_t * | pNtk, | ||
int | fProfile, | ||
int | fListNodes, | ||
int | fVerbose | ||
) |
Function*************************************************************
Synopsis [Prints the level stats of the PO node.]
Description []
SideEffects []
SeeAlso []
Definition at line 866 of file abcPrint.c.
ABC_DLL void Abc_NtkPrintStats | ( | Abc_Ntk_t * | pNtk, |
int | fFactored, | ||
int | fSaveBest, | ||
int | fDumpResult, | ||
int | fUseLutLib, | ||
int | fPrintMuxes, | ||
int | fPower, | ||
int | fGlitch, | ||
int | fSkipBuf | ||
) |
Function*************************************************************
Synopsis [Print the vital stats of the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 207 of file abcPrint.c.
ABC_DLL Abc_Time_t* Abc_NtkReadDefaultArrival | ( | Abc_Ntk_t * | pNtk | ) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Reads the arrival.required time of the node.]
Description []
SideEffects []
SeeAlso []
Definition at line 67 of file abcTiming.c.
ABC_DLL Abc_Time_t* Abc_NtkReadDefaultInputDrive | ( | Abc_Ntk_t * | pNtk | ) |
Function*************************************************************
Synopsis [Reads the input drive / output load of the node.]
Description []
SideEffects []
SeeAlso []
Definition at line 115 of file abcTiming.c.
ABC_DLL Abc_Time_t* Abc_NtkReadDefaultOutputLoad | ( | Abc_Ntk_t * | pNtk | ) |
Definition at line 120 of file abcTiming.c.
ABC_DLL Abc_Time_t* Abc_NtkReadDefaultRequired | ( | Abc_Ntk_t * | pNtk | ) |
Definition at line 72 of file abcTiming.c.
Function*************************************************************
Synopsis [Puts the nodes into the DFS order and reassign their IDs.]
Description []
SideEffects []
SeeAlso []
Definition at line 1769 of file abcUtil.c.
Function*************************************************************
Synopsis [Top level procedure for library construction.]
Description []
SideEffects []
SeeAlso []
Definition at line 833 of file abcRec3.c.
Definition at line 1399 of file abcRec3.c.
ABC_DLL int Abc_NtkRecInputNum3 | ( | ) |
Function*************************************************************
Synopsis [Recanonicizes the library and add it to the current library.]
Description []
SideEffects []
SeeAlso []
Definition at line 567 of file abcRec3.c.
Definition at line 1415 of file abcRec3.c.
ABC_DLL int Abc_NtkRefactor | ( | Abc_Ntk_t * | pNtk, |
int | nNodeSizeMax, | ||
int | nConeSizeMax, | ||
int | fUpdateLevel, | ||
int | fUseZeros, | ||
int | fUseDcs, | ||
int | fVerbose | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Performs incremental resynthesis of the AIG.]
Description [Starting from each node, computes a reconvergence-driven cut, derives BDD of the cut function, constructs ISOP, factors the ISOP, and replaces the current implementation of the MFFC of the node by the new factored form, if the number of AIG nodes is reduced and the total number of levels of the AIG network is not increated. Returns the number of AIG nodes saved.]
SideEffects []
SeeAlso []
Definition at line 89 of file abcRefactor.c.
Function*************************************************************
Synopsis [Makes nodes of the network fanin-dup-free.]
Description [Returns the number of pairs of duplicated fanins.]
SideEffects []
SeeAlso []
Definition at line 116 of file abcMinBase.c.
Function*************************************************************
Synopsis [Replaces self-feeding latches by latches with constant inputs.]
Description []
SideEffects []
SeeAlso []
Definition at line 114 of file abcLatch.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Reapplies structural hashing to the AIG.]
Description [Because of the structural hashing, this procedure should not change the number of nodes. It is useful to detect the bugs in the original AIG.]
SideEffects []
SeeAlso []
Definition at line 49 of file abcStrash.c.
Function*************************************************************
Synopsis [Reapplies structural hashing to the AIG.]
Description [Because of the structural hashing, this procedure should not change the number of nodes. It is useful to detect the bugs in the original AIG.]
SideEffects []
SeeAlso []
Definition at line 181 of file abcStrash.c.
Definition at line 2615 of file abcUtil.c.
ABC_DLL int Abc_NtkRewrite | ( | Abc_Ntk_t * | pNtk, |
int | fUpdateLevel, | ||
int | fUseZeros, | ||
int | fVerbose, | ||
int | fVeryVerbose, | ||
int | fPlaceEnable | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Performs incremental rewriting of the AIG.]
Description []
SideEffects []
SeeAlso []
Definition at line 61 of file abcRewrite.c.
Function*************************************************************
Synopsis [Saves copy field of the objects.]
Description []
SideEffects []
SeeAlso []
Definition at line 595 of file abcUtil.c.
Function*************************************************************
Synopsis [Duplicate the MV variable.]
Description []
SideEffects []
SeeAlso []
Definition at line 84 of file abcBlifMv.c.
|
inlinestatic |
Function*************************************************************
Synopsis [Sets the CI node levels according to the arrival info.]
Description []
SideEffects []
SeeAlso []
Definition at line 591 of file abcTiming.c.
|
inlinestatic |
|
inlinestatic |
Function*************************************************************
Synopsis [Replaces names by short names.]
Description []
SideEffects []
SeeAlso []
Definition at line 490 of file abcNames.c.
ABC_DLL void Abc_NtkShow6VarFunc | ( | char * | pF0, |
char * | pF1 | ||
) |
Function*************************************************************
Synopsis [Prints K-map of 6-var function represented by truth table.]
Description []
SideEffects []
SeeAlso []
Definition at line 1590 of file abcPrint.c.
Function*************************************************************
Synopsis [Returns the shared size of global BDDs of the COs.]
Description []
SideEffects []
SeeAlso []
Definition at line 492 of file abcNtbdd.c.
Function*************************************************************
Synopsis [Converts the network from SOP to AIG representation.]
Description []
SideEffects []
SeeAlso []
Definition at line 612 of file abcFunc.c.
Function*************************************************************
Synopsis [Converts the network from SOP to BDD representation.]
Description []
SideEffects []
SeeAlso []
Definition at line 113 of file abcFunc.c.
ABC_DLL Abc_Ntk_t* Abc_NtkStartFrom | ( | Abc_Ntk_t * | pNtk, |
Abc_NtkType_t | Type, | ||
Abc_NtkFunc_t | Func | ||
) |
Function*************************************************************
Synopsis [Starts a new network using existing network as a model.]
Description []
SideEffects []
SeeAlso []
Definition at line 106 of file abcNtk.c.
ABC_DLL Abc_Ntk_t* Abc_NtkStartFromNoLatches | ( | Abc_Ntk_t * | pNtk, |
Abc_NtkType_t | Type, | ||
Abc_NtkFunc_t | Func | ||
) |
Function*************************************************************
Synopsis [Starts a new network using existing network as a model.]
Description []
SideEffects []
SeeAlso []
Definition at line 248 of file abcNtk.c.
DECLARATIONS ///.
CFile****************************************************************
FileName [abcBlifMv.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Procedures to process BLIF-MV networks and AIGs.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis [Starts the Mv-Var manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 46 of file abcBlifMv.c.
Function*************************************************************
Synopsis [Saves name IDs into a file.]
Description []
SideEffects []
SeeAlso []
Definition at line 538 of file abcNames.c.
Function*************************************************************
Synopsis [Starts a new network using existing network as a model.]
Description []
SideEffects []
SeeAlso []
Definition at line 333 of file abcNtk.c.
Function*************************************************************
Synopsis [Prepares for the computation of required levels.]
Description [This procedure should be called before the required times are used. It starts internal data structures, which records the level from the COs of the network nodes in reverse topologogical order.]
SideEffects []
SeeAlso []
Definition at line 1162 of file abcTiming.c.
Function*************************************************************
Synopsis [Cleans the data structures used to compute required levels.]
Description []
SideEffects []
SeeAlso []
Definition at line 1190 of file abcTiming.c.
Function*************************************************************
Synopsis [Transforms logic network into structurally hashed AIG.]
Description []
SideEffects []
SeeAlso []
Definition at line 265 of file abcStrash.c.
Function*************************************************************
Synopsis [Strashes the BLIF-MV netlist.]
Description []
SideEffects []
SeeAlso []
Definition at line 380 of file abcBlifMv.c.
Function*************************************************************
Synopsis [Returns the set of CI nodes in the support of the given nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 828 of file abcDfs.c.
Function*************************************************************
Synopsis [Tranditional sweep of the network.]
Description [Propagates constant and single-input node, removes dangling nodes.]
SideEffects []
SeeAlso []
Definition at line 574 of file abcSweep.c.
Function*************************************************************
Synopsis [Sweep to remove buffers and inverters.]
Description []
SideEffects []
SeeAlso []
Definition at line 959 of file abcSweep.c.
Function*************************************************************
Synopsis [Finalizes the timing manager after setting arr/req times.]
Description []
SideEffects []
SeeAlso []
Definition at line 321 of file abcTiming.c.
Function*************************************************************
Synopsis [Sets the arrival time for an object.]
Description []
SideEffects []
SeeAlso []
Definition at line 185 of file abcTiming.c.
Function*************************************************************
Synopsis [Sets the default arrival time for the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 155 of file abcTiming.c.
Function*************************************************************
Synopsis [Sets the default arrival time for the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 227 of file abcTiming.c.
Definition at line 243 of file abcTiming.c.
Definition at line 164 of file abcTiming.c.
Function*************************************************************
Synopsis [Sets the arrival time for an object.]
Description []
SideEffects []
SeeAlso []
Definition at line 271 of file abcTiming.c.
Definition at line 290 of file abcTiming.c.
Definition at line 200 of file abcTiming.c.
Definition at line 180 of file abcBarBuf.c.
Function*************************************************************
Synopsis [Transforms the strashed network into FRAIG.]
Description []
SideEffects []
SeeAlso []
Definition at line 103 of file abcFraig.c.
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Transform the netlist into a logic network.]
Description []
SideEffects []
SeeAlso []
Definition at line 52 of file abcNetlist.c.
Function*************************************************************
Synopsis [Transform the logic network into a netlist.]
Description []
SideEffects []
SeeAlso []
Definition at line 97 of file abcNetlist.c.
Function*************************************************************
Synopsis [Converts the AIG into the netlist.]
Description [This procedure does not copy the choices.]
SideEffects []
SeeAlso []
Definition at line 122 of file abcNetlist.c.
Function*************************************************************
Synopsis [Copies the topmost levels of the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 548 of file abcStrash.c.
Function*************************************************************
Synopsis [Adjusts the copy pointers.]
Description [This procedure assumes that the network was transformed into another network, which was in turn transformed into yet another network. It makes the pCopy pointers of the original network point to the objects of the yet another network.]
SideEffects []
SeeAlso []
Definition at line 1922 of file abcUtil.c.
Function*************************************************************
Synopsis [Remaps the AIG from the old manager into the new manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 588 of file abcNames.c.
Function*************************************************************
Synopsis [Transfers phase information to the new network.]
Description []
SideEffects []
SeeAlso []
Definition at line 2875 of file abcUtil.c.
Function*************************************************************
Synopsis [Tranfers names to the old network.]
Description [Assumes that the new nodes are attached using pObj->pCopy.]
SideEffects []
SeeAlso []
Definition at line 139 of file abcNames.c.
Function*************************************************************
Synopsis [Tranfers names to the old network.]
Description [Assumes that the new nodes are attached using pObj->pCopy.]
SideEffects []
SeeAlso []
Definition at line 168 of file abcNames.c.
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 2021 of file abcNtk.c.
Function*************************************************************
Synopsis [Replaces the node and incrementally updates levels.]
Description []
SideEffects []
SeeAlso []
Definition at line 1311 of file abcTiming.c.
Function*************************************************************
Synopsis [Incrementally updates level of the nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 1210 of file abcTiming.c.
Function*************************************************************
Synopsis [Updates file with name IDs.]
Description []
SideEffects []
SeeAlso []
Definition at line 620 of file abcNames.c.
Function*************************************************************
Synopsis [Incrementally updates level of the nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 1262 of file abcTiming.c.
Function*************************************************************
Synopsis [Returns a dummy pattern full of zeros.]
Description []
SideEffects []
SeeAlso []
Definition at line 668 of file abcVerify.c.
Function*************************************************************
Synopsis [Returns the PO values under the given input pattern.]
Description []
SideEffects []
SeeAlso []
Definition at line 686 of file abcVerify.c.
|
inlinestatic |
ABC_DLL void Abc_NtkWriteLogFile | ( | char * | pFileName, |
Abc_Cex_t * | pCex, | ||
int | Status, | ||
int | nFrames, | ||
char * | pCommand | ||
) |
DECLARATIONS ///.
CFile****************************************************************
FileName [abcLog.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Log file printing.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 68 of file abcLog.c.
Function*************************************************************
Synopsis [Creates fanout/fanin relationship between the nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 84 of file abcFanio.c.
ABC_DLL Abc_Obj_t* Abc_ObjAlloc | ( | Abc_Ntk_t * | pNtk, |
Abc_ObjType_t | Type | ||
) |
DECLARATIONS ///.
CFile****************************************************************
FileName [abcObj.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Object creation/duplication/deletion procedures.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis [Creates a new object.]
Description []
SideEffects []
SeeAlso []
Definition at line 49 of file abcObj.c.
Function*************************************************************
Synopsis [Assigns the given name to the object.]
Description [The object should not have a name assigned. The same name may be used for several objects, which they share the same net in the original netlist. (For example, latch output and primary output may have the same name.) This procedure returns the pointer to the internally stored representation of the given name.]
SideEffects []
SeeAlso []
Definition at line 68 of file abcNames.c.
|
inlinestatic |
Definition at line 361 of file abc.h.
Definition at line 338 of file abc.h.
Function*************************************************************
Synopsis [Destroys fanout/fanin relationship between the nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 111 of file abcFanio.c.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Definition at line 369 of file abc.h.
Function*************************************************************
Synopsis [Returns the index of the fanin in the fanin list of the fanout.]
Description []
SideEffects []
SeeAlso []
Definition at line 321 of file abcFanio.c.
|
inlinestatic |
Definition at line 431 of file abc.h.
ABC_DLL Abc_Obj_t* Abc_ObjInsertBetween | ( | Abc_Obj_t * | pNodeIn, |
Abc_Obj_t * | pNodeOut, | ||
Abc_ObjType_t | Type | ||
) |
Function*************************************************************
Synopsis [Inserts one-input node of the type specified between the nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 223 of file abcFanio.c.
|
inlinestatic |
Definition at line 360 of file abc.h.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Definition at line 357 of file abc.h.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Function*************************************************************
Synopsis [Computes the level of the node using its fanin levels.]
Description []
SideEffects []
SeeAlso []
Definition at line 1058 of file abcTiming.c.
|
inlinestatic |
Definition at line 437 of file abc.h.
DECLARATIONS ///.
CFile****************************************************************
FileName [abcNames.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Procedures working with net and node names.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis [Returns the unique name for the object.]
Description [If the name previously did not exist, creates a new unique name but does not assign this name to the object. The temporary unique name is stored in a static buffer inside this procedure. It is important that the name is used before the function is called again!]
SideEffects []
SeeAlso []
Definition at line 48 of file abcNames.c.
ABC_DLL char* Abc_ObjNameDummy | ( | char * | pPrefix, |
int | Num, | ||
int | nDigits | ||
) |
Function*************************************************************
Synopsis [Returns the dummy PI name.]
Description []
SideEffects []
SeeAlso []
Definition at line 121 of file abcNames.c.
Function*************************************************************
Synopsis [Appends name to the prefix]
Description []
SideEffects []
SeeAlso []
Definition at line 85 of file abcNames.c.
Function*************************************************************
Synopsis [Appends suffic to the name.]
Description []
SideEffects []
SeeAlso []
Definition at line 103 of file abcNames.c.
Function*************************************************************
Synopsis [Replaces a fanin of the node.]
Description [The node is pObj. An old fanin of this node (pFaninOld) has to be replaced by a new fanin (pFaninNew). Assumes that the node and the old fanin are not complemented. The new fanin can be complemented. In this case, the polarity of the new fanin will change, compared to the polarity of the old fanin.]
SideEffects []
SeeAlso []
Definition at line 172 of file abcFanio.c.
ABC_DLL int Abc_ObjPointerCompare | ( | void ** | pp1, |
void ** | pp2 | ||
) |
Function*************************************************************
Synopsis [Prints information about the object.]
Description []
SideEffects []
SeeAlso []
Definition at line 1287 of file abcPrint.c.
Function*************************************************************
Synopsis [Destroys fanout/fanin relationship between the nodes.]
Description []
SideEffects []
SeeAlso []
Definition at line 141 of file abcFanio.c.
Function*************************************************************
Synopsis [Replaces the node by a new node.]
Description []
SideEffects []
SeeAlso []
Definition at line 297 of file abcFanio.c.
Function*************************************************************
Synopsis [Returns required level of the node.]
Description [Converts the reverse levels of the node into its required level as follows: ReqLevel(Node) = MaxLevels(Ntk) + 1 - LevelR(Node).]
SideEffects []
SeeAlso []
Definition at line 1102 of file abcTiming.c.
Function*************************************************************
Synopsis [Returns the reverse level of the node.]
Description [The reverse level is the level of the node in reverse topological order, starting from the COs.]
SideEffects []
SeeAlso []
Definition at line 1121 of file abcTiming.c.
Function*************************************************************
Synopsis [Computes the reverse level of the node using its fanout levels.]
Description []
SideEffects []
SeeAlso []
Definition at line 1078 of file abcTiming.c.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Definition at line 432 of file abc.h.
|
inlinestatic |
|
inlinestatic |
Definition at line 439 of file abc.h.
Function*************************************************************
Synopsis [Sets the reverse level of the node.]
Description [The reverse level is the level of the node in reverse topological order, starting from the COs.]
SideEffects []
SeeAlso []
Definition at line 1141 of file abcTiming.c.
Function*************************************************************
Synopsis [Transfers fanout from the old node to the new node.]
Description []
SideEffects []
SeeAlso []
Definition at line 264 of file abcFanio.c.
|
inlinestatic |
ABC_DLL int Abc_SopCheck | ( | char * | pSop, |
int | nFanins | ||
) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
ABC_DLL void Abc_SopComplement | ( | char * | pSop | ) |
ABC_DLL void Abc_SopComplementVar | ( | char * | pSop, |
int | iVar | ||
) |
ABC_DLL char* Abc_SopCreateAnd | ( | Mem_Flex_t * | pMan, |
int | nVars, | ||
int * | pfCompl | ||
) |
ABC_DLL char* Abc_SopCreateAnd2 | ( | Mem_Flex_t * | pMan, |
int | fCompl0, | ||
int | fCompl1 | ||
) |
Function*************************************************************
Synopsis [Creates the AND2 cover.]
Description []
SideEffects []
SeeAlso []
Definition at line 139 of file abcSop.c.
ABC_DLL char* Abc_SopCreateBuf | ( | Mem_Flex_t * | pMan | ) |
Function*************************************************************
Synopsis [Creates the buf cover.]
Description []
SideEffects []
SeeAlso []
Definition at line 361 of file abcSop.c.
ABC_DLL char* Abc_SopCreateConst0 | ( | Mem_Flex_t * | pMan | ) |
Function*************************************************************
Synopsis [Creates the constant 1 cover with 0 variables.]
Description []
SideEffects []
SeeAlso []
Definition at line 123 of file abcSop.c.
ABC_DLL char* Abc_SopCreateConst1 | ( | Mem_Flex_t * | pMan | ) |
Function*************************************************************
Synopsis [Creates the constant 1 cover with 0 variables.]
Description []
SideEffects []
SeeAlso []
Definition at line 107 of file abcSop.c.
ABC_DLL char* Abc_SopCreateFromIsop | ( | Mem_Flex_t * | pMan, |
int | nVars, | ||
Vec_Int_t * | vCover | ||
) |
Function*************************************************************
Synopsis [Creates the cover from the ISOP computed from TT.]
Description []
SideEffects []
SeeAlso []
Definition at line 416 of file abcSop.c.
ABC_DLL char* Abc_SopCreateFromTruth | ( | Mem_Flex_t * | pMan, |
int | nVars, | ||
unsigned * | pTruth | ||
) |
ABC_DLL char* Abc_SopCreateInv | ( | Mem_Flex_t * | pMan | ) |
Function*************************************************************
Synopsis [Creates the inv cover.]
Description []
SideEffects []
SeeAlso []
Definition at line 345 of file abcSop.c.
ABC_DLL char* Abc_SopCreateMux | ( | Mem_Flex_t * | pMan | ) |
Function*************************************************************
Synopsis [Creates the MUX cover.]
Description [The first input of MUX is the control. The second input is DATA1. The third input is DATA0.]
SideEffects []
SeeAlso []
Definition at line 329 of file abcSop.c.
ABC_DLL char* Abc_SopCreateNand | ( | Mem_Flex_t * | pMan, |
int | nVars | ||
) |
ABC_DLL char* Abc_SopCreateNor | ( | Mem_Flex_t * | pMan, |
int | nVars | ||
) |
ABC_DLL char* Abc_SopCreateNxor | ( | Mem_Flex_t * | pMan, |
int | nVars | ||
) |
Function*************************************************************
Synopsis [Creates the multi-input XNOR cover.]
Description []
SideEffects []
SeeAlso []
Definition at line 311 of file abcSop.c.
ABC_DLL char* Abc_SopCreateOr | ( | Mem_Flex_t * | pMan, |
int | nVars, | ||
int * | pfCompl | ||
) |
ABC_DLL char* Abc_SopCreateOrMultiCube | ( | Mem_Flex_t * | pMan, |
int | nVars, | ||
int * | pfCompl | ||
) |
ABC_DLL char* Abc_SopCreateXor | ( | Mem_Flex_t * | pMan, |
int | nVars | ||
) |
Function*************************************************************
Synopsis [Creates the multi-input XOR cover.]
Description []
SideEffects []
SeeAlso []
Definition at line 274 of file abcSop.c.
ABC_DLL char* Abc_SopCreateXorSpecial | ( | Mem_Flex_t * | pMan, |
int | nVars | ||
) |
Function*************************************************************
Synopsis [Creates the multi-input XOR cover (special case).]
Description []
SideEffects []
SeeAlso []
Definition at line 291 of file abcSop.c.
ABC_DLL char* Abc_SopDecoderLog | ( | Mem_Flex_t * | pMan, |
int | nValues | ||
) |
Function*************************************************************
Synopsis [Creates the decover node.]
Description [Produces MV-SOP for BLIF-MV representation.]
SideEffects []
SeeAlso []
Definition at line 1129 of file abcSop.c.
ABC_DLL char* Abc_SopDecoderPos | ( | Mem_Flex_t * | pMan, |
int | nValues | ||
) |
Function*************************************************************
Synopsis [Creates the decoder node.]
Description [Produces MV-SOP for BLIF-MV representation.]
SideEffects []
SeeAlso []
Definition at line 1093 of file abcSop.c.
ABC_DLL char* Abc_SopEncoderLog | ( | Mem_Flex_t * | pMan, |
int | iBit, | ||
int | nValues | ||
) |
Function*************************************************************
Synopsis [Creates one encoder node.]
Description [Produces MV-SOP for BLIF-MV representation.]
SideEffects []
SeeAlso []
Definition at line 1049 of file abcSop.c.
ABC_DLL char* Abc_SopEncoderPos | ( | Mem_Flex_t * | pMan, |
int | iValue, | ||
int | nValues | ||
) |
Function*************************************************************
Synopsis [Creates one encoder node.]
Description [Produces MV-SOP for BLIF-MV representation.]
SideEffects []
SeeAlso []
Definition at line 1030 of file abcSop.c.
ABC_DLL char* Abc_SopFromTruthBin | ( | char * | pTruth | ) |
Function*************************************************************
Synopsis [Derives SOP from the truth table representation.]
Description [Truth table is expected to be in the hexadecimal notation.]
SideEffects []
SeeAlso []
Definition at line 879 of file abcSop.c.
ABC_DLL char* Abc_SopFromTruthHex | ( | char * | pTruth | ) |
Function*************************************************************
Synopsis [Derives SOP from the truth table representation.]
Description [Truth table is expected to be in the hexadecimal notation.]
SideEffects []
SeeAlso []
Definition at line 948 of file abcSop.c.
ABC_DLL int Abc_SopGetCubeNum | ( | char * | pSop | ) |
Function*************************************************************
Synopsis [Reads the number of cubes in the cover.]
Description []
SideEffects []
SeeAlso []
ABC_DLL int Abc_SopGetIthCareLit | ( | char * | pSop, |
int | i | ||
) |
ABC_DLL int Abc_SopGetLitNum | ( | char * | pSop | ) |
Function*************************************************************
Synopsis [Reads the number of SOP literals in the cover.]
Description []
SideEffects []
SeeAlso []
ABC_DLL int Abc_SopGetPhase | ( | char * | pSop | ) |
ABC_DLL int Abc_SopGetVarNum | ( | char * | pSop | ) |
Function*************************************************************
Synopsis [Reads the number of variables in the cover.]
Description []
SideEffects []
SeeAlso []
ABC_DLL int Abc_SopIsAndType | ( | char * | pSop | ) |
ABC_DLL int Abc_SopIsBuf | ( | char * | pSop | ) |
Function*************************************************************
Synopsis [Checks if the cover is constant 1.]
Description []
SideEffects []
SeeAlso []
ABC_DLL int Abc_SopIsComplement | ( | char * | pSop | ) |
ABC_DLL int Abc_SopIsConst0 | ( | char * | pSop | ) |
ABC_DLL int Abc_SopIsConst1 | ( | char * | pSop | ) |
ABC_DLL int Abc_SopIsExorType | ( | char * | pSop | ) |
ABC_DLL int Abc_SopIsInv | ( | char * | pSop | ) |
Function*************************************************************
Synopsis [Checks if the cover is constant 1.]
Description []
SideEffects []
SeeAlso []
ABC_DLL int Abc_SopIsOrType | ( | char * | pSop | ) |
ABC_DLL char* Abc_SopRegister | ( | Mem_Flex_t * | pMan, |
char * | pName | ||
) |
DECLARATIONS ///.
CFile****************************************************************
FileName [abcSop.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Network and node package.]
Synopsis [Implementation of a simple SOP representation of nodes.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]FUNCTION DEFINITIONS /// Function*************************************************************
Synopsis [Registers the cube string with the network.]
Description []
SideEffects []
SeeAlso []
Definition at line 56 of file abcSop.c.
ABC_DLL char* Abc_SopStart | ( | Mem_Flex_t * | pMan, |
int | nCubes, | ||
int | nVars | ||
) |
ABC_DLL void Abc_SopToTruthBig | ( | char * | pSop, |
int | nInputs, | ||
word ** | pVars, | ||
word * | pCube, | ||
word * | pRes | ||
) |