abc-master
|
Go to the source code of this file.
Data Structures | |
struct | Part_Man_t_ |
struct | Part_One_t_ |
Typedefs | |
typedef typedefABC_NAMESPACE_IMPL_START struct Part_Man_t_ | Part_Man_t |
DECLARATIONS ///. More... | |
typedef struct Part_One_t_ | Part_One_t |
typedef typedefABC_NAMESPACE_IMPL_START struct Part_Man_t_ Part_Man_t |
DECLARATIONS ///.
CFile****************************************************************
FileName [aigPart.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [AIG package.]
Synopsis [AIG partitioning package.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - April 28, 2007.]
Revision [
]
typedef struct Part_One_t_ Part_One_t |
Function*************************************************************
Synopsis [Constructively accumulates choices.]
Description []
SideEffects []
SeeAlso []
Definition at line 1564 of file aigPart.c.
Function*************************************************************
Synopsis [Constructively accumulates choices.]
Description [pNew is a new AIG with choices under construction. pPrev is the AIG preceding pThis in the order of deriving choices. pThis is the current AIG to be added to pNew while creating choices.]
SideEffects []
SeeAlso []
Definition at line 1478 of file aigPart.c.
void Aig_ManChoiceEval | ( | Aig_Man_t * | p | ) |
Function*************************************************************
Synopsis [Constructively accumulates choices.]
Description []
SideEffects []
SeeAlso []
Definition at line 1528 of file aigPart.c.
Aig_Man_t* Aig_ManChoicePartitioned | ( | Vec_Ptr_t * | vAigs, |
int | nPartSize, | ||
int | nConfMax, | ||
int | nLevelMax, | ||
int | fVerbose | ||
) |
Function*************************************************************
Synopsis [Performs partitioned choice computation.]
Description [Assumes that each output in the second AIG cannot have more supp vars than the same output in the first AIG.]
SideEffects []
SeeAlso []
Definition at line 1247 of file aigPart.c.
Vec_Ptr_t* Aig_ManDupPart | ( | Aig_Man_t * | pNew, |
Aig_Man_t * | pOld, | ||
Vec_Int_t * | vPart, | ||
Vec_Int_t * | vSuppMap, | ||
int | fInverse | ||
) |
Function*************************************************************
Synopsis [Adds internal nodes in the topological order.]
Description [Returns the array of new outputs.]
SideEffects []
SeeAlso []
Definition at line 995 of file aigPart.c.
Aig_Obj_t* Aig_ManDupPart_rec | ( | Aig_Man_t * | pNew, |
Aig_Man_t * | pOld, | ||
Aig_Obj_t * | pObj, | ||
Vec_Int_t * | vSuppMap | ||
) |
Function*************************************************************
Synopsis [Adds internal nodes in the topological order.]
Description []
SideEffects []
SeeAlso []
Definition at line 966 of file aigPart.c.
Function*************************************************************
Synopsis [Adds internal nodes in the topological order.]
Description [Returns the array of new outputs.]
SideEffects []
SeeAlso []
Definition at line 1098 of file aigPart.c.
Function*************************************************************
Synopsis [Adds internal nodes in the topological order.]
Description []
SideEffects []
SeeAlso []
Definition at line 1062 of file aigPart.c.
Aig_Man_t* Aig_ManFraigPartitioned | ( | Aig_Man_t * | pAig, |
int | nPartSize, | ||
int | nConfMax, | ||
int | nLevelMax, | ||
int | fVerbose | ||
) |
Function*************************************************************
Synopsis [Performs partitioned choice computation.]
Description [Assumes that each output in the second AIG cannot have more supp vars than the same output in the first AIG.]
SideEffects []
SeeAlso []
Definition at line 1379 of file aigPart.c.
Function*************************************************************
Synopsis [Create partitioned miter of the two AIGs.]
Description [Assumes that each output in the second AIG cannot have more supp vars than the same output in the first AIG.]
SideEffects []
SeeAlso []
Definition at line 1189 of file aigPart.c.
void Aig_ManPartitionCompact | ( | Vec_Ptr_t * | vPartsAll, |
Vec_Ptr_t * | vPartSuppsAll, | ||
int | nSuppSizeLimit | ||
) |
Function*************************************************************
Synopsis [Perform the smart partitioning.]
Description []
SideEffects []
SeeAlso []
Definition at line 614 of file aigPart.c.
Function*************************************************************
Synopsis [Perform the naive partitioning.]
Description []
SideEffects []
SeeAlso []
Definition at line 941 of file aigPart.c.
Function*************************************************************
Synopsis [Perform the smart partitioning.]
Description []
SideEffects []
SeeAlso []
Definition at line 585 of file aigPart.c.
Vec_Ptr_t* Aig_ManPartitionSmart | ( | Aig_Man_t * | p, |
int | nSuppSizeLimit, | ||
int | fVerbose, | ||
Vec_Ptr_t ** | pvPartSupps | ||
) |
Function*************************************************************
Synopsis [Perform the smart partitioning.]
Description []
SideEffects []
SeeAlso []
Definition at line 686 of file aigPart.c.
int Aig_ManPartitionSmartFindPart | ( | Vec_Ptr_t * | vPartSuppsAll, |
Vec_Ptr_t * | vPartsAll, | ||
Vec_Ptr_t * | vPartSuppsBit, | ||
int | nSuppSizeLimit, | ||
Vec_Int_t * | vOne | ||
) |
Function*************************************************************
Synopsis [Find the best partition.]
Description []
SideEffects []
SeeAlso []
Definition at line 536 of file aigPart.c.
Function*************************************************************
Synopsis [Perform the smart partitioning.]
Description []
SideEffects []
SeeAlso []
Definition at line 811 of file aigPart.c.
void Aig_ManSuppCharAdd | ( | unsigned * | pBuffer, |
Vec_Int_t * | vOne, | ||
int | nPis | ||
) |
Function*************************************************************
Synopsis [Add to char-bases support representation.]
Description []
SideEffects []
SeeAlso []
Definition at line 496 of file aigPart.c.
int Aig_ManSuppCharCommon | ( | unsigned * | pBuffer, |
Vec_Int_t * | vOne | ||
) |
Function*************************************************************
Synopsis [Find the common variables using char-bases support representation.]
Description []
SideEffects []
SeeAlso []
Definition at line 517 of file aigPart.c.
unsigned* Aig_ManSuppCharStart | ( | Vec_Int_t * | vOne, |
int | nPis | ||
) |
Function*************************************************************
Synopsis [Start char-bases support representation.]
Description []
SideEffects []
SeeAlso []
Definition at line 470 of file aigPart.c.
Function*************************************************************
Synopsis [Collects internal nodes and PIs in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 1156 of file aigPart.c.
Function*************************************************************
Synopsis [Collects internal nodes in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 1131 of file aigPart.c.
Function*************************************************************
Synopsis [Computes supports of the POs in the multi-output AIG.]
Description [Returns the array of integer arrays containing indices of the primary inputs for each primary output.]
SideEffects [Adds the integer PO number at end of each array.]
SeeAlso []
Definition at line 273 of file aigPart.c.
Function*************************************************************
Synopsis [Computes the set of outputs for each input.]
Description [Returns the array of integer arrays containing indices of the primary outputsf for each primary input.]
SideEffects []
SeeAlso []
Definition at line 385 of file aigPart.c.
Function*************************************************************
Synopsis [Returns the register dependency matrix.]
Description []
SideEffects []
SeeAlso []
Definition at line 418 of file aigPart.c.
void Aig_ManSupportsTest | ( | Aig_Man_t * | pMan | ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 366 of file aigPart.c.
char* Part_ManFetch | ( | Part_Man_t * | p, |
int | nSize | ||
) |
Function*************************************************************
Synopsis [Fetches the memory entry of the given size.]
Description []
SideEffects []
SeeAlso []
Definition at line 116 of file aigPart.c.
|
inlinestatic |
Function*************************************************************
Synopsis [Fetches the memory entry of the given size.]
Description []
SideEffects []
SeeAlso []
Definition at line 173 of file aigPart.c.
Part_One_t* Part_ManMergeEntry | ( | Part_Man_t * | pMan, |
Part_One_t * | p1, | ||
Part_One_t * | p2, | ||
int | nRefs | ||
) |
Function*************************************************************
Synopsis [Merges two entries.]
Description []
SideEffects []
SeeAlso []
Definition at line 212 of file aigPart.c.
void Part_ManRecycle | ( | Part_Man_t * | p, |
char * | pMemory, | ||
int | nSize | ||
) |
Function*************************************************************
Synopsis [Recycles the memory entry of the given size.]
Description []
SideEffects []
SeeAlso []
Definition at line 153 of file aigPart.c.
|
inlinestatic |
Function*************************************************************
Synopsis [Recycles the memory entry of the given size.]
Description []
SideEffects []
SeeAlso []
Definition at line 194 of file aigPart.c.
Part_Man_t* Part_ManStart | ( | int | nChunkSize, |
int | nStepSize | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Start the memory manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 71 of file aigPart.c.
void Part_ManStop | ( | Part_Man_t * | p | ) |
Function*************************************************************
Synopsis [Stops the memory manager.]
Description []
SideEffects []
SeeAlso []
Definition at line 94 of file aigPart.c.
Vec_Int_t* Part_ManTransferEntry | ( | Part_One_t * | p | ) |
Function*************************************************************
Synopsis [Tranfers the entry.]
Description []
SideEffects []
SeeAlso []
Definition at line 251 of file aigPart.c.
|
inlinestatic |
|
inlinestatic |