#include "gia.h"#include "misc/tim/tim.h"#include "misc/vec/vecWec.h"#include "proof/cec/cec.h"#include "misc/util/utilTruth.h"
Go to the source code of this file.
Classes | |
| struct | Gia_ChMan_t_ |
Variables | |
| ABC_NAMESPACE_IMPL_START Bnd_Man_t * | pBnd |
| DECLARATIONS ///. | |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5723 of file giaDup.c.

Function*************************************************************
Synopsis [Derives the miter of several AIGs for choice computation.]
Description []
SideEffects []
SeeAlso []
Definition at line 3763 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates the AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 3741 of file giaDup.c.


| void Gia_ManCofClassEnum | ( | Gia_Man_t * | p, |
| int | nVars ) |
Definition at line 6192 of file giaDup.c.

Definition at line 6109 of file giaDup.c.


| void Gia_ManCofClassRand | ( | Gia_Man_t * | p, |
| int | nVars, | ||
| int | nRands ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6172 of file giaDup.c.

Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6093 of file giaDup.c.

Function*************************************************************
Synopsis [Collect nodes reachable from odd/even outputs.]
Description []
SideEffects []
SeeAlso []
Definition at line 5006 of file giaDup.c.


Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6019 of file giaDup.c.


Definition at line 3508 of file giaDup.c.


Function*************************************************************
Synopsis [Collect nodes reachable from first/second half of outputs.]
Description []
SideEffects []
SeeAlso []
Definition at line 5071 of file giaDup.c.


Definition at line 4898 of file giaDup.c.


Definition at line 4880 of file giaDup.c.


| int Gia_ManCountMark0Dfs | ( | Gia_Man_t * | p, |
| int | iObj ) |
Definition at line 4846 of file giaDup.c.


| int Gia_ManCountMark0Dfs_rec | ( | Gia_Man_t * | p, |
| int | iObj ) |
| int Gia_ManCountMark1Dfs | ( | Gia_Man_t * | p, |
| int | iObj ) |
Definition at line 4863 of file giaDup.c.


| int Gia_ManCountMark1Dfs_rec | ( | Gia_Man_t * | p, |
| int | iObj ) |
Definition at line 4421 of file giaDup.c.

Function*************************************************************
Synopsis [Computes supports for each node.]
Description []
SideEffects []
SeeAlso []
Definition at line 4401 of file giaDup.c.

| Vec_Int_t * Gia_ManCreatePerm | ( | int | n | ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 1092 of file giaDup.c.


Function*************************************************************
Synopsis [Cycles AIG using random input.]
Description []
SideEffects []
SeeAlso []
Definition at line 671 of file giaDup.c.


Definition at line 4869 of file giaDup.c.


Definition at line 5030 of file giaDup.c.

Definition at line 4956 of file giaDup.c.

Definition at line 5082 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG without any changes.]
Description []
SideEffects []
SeeAlso []
Definition at line 720 of file giaDup.c.

Definition at line 751 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG while putting objects in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 239 of file giaDup.c.


Definition at line 872 of file giaDup.c.

Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5692 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicate AIG by creating a cut between logic fed by PIs]
Description []
SideEffects []
SeeAlso []
Definition at line 5363 of file giaDup.c.

Function*************************************************************
Synopsis [Computes the AND of all POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 3265 of file giaDup.c.

Definition at line 3941 of file giaDup.c.


Definition at line 4021 of file giaDup.c.


Definition at line 4054 of file giaDup.c.

Definition at line 4038 of file giaDup.c.


Definition at line 4005 of file giaDup.c.


Function*************************************************************
Synopsis [Computes the AND of all POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 3216 of file giaDup.c.


Function*************************************************************
Synopsis [Appends second AIG without any changes.]
Description []
SideEffects []
SeeAlso []
Definition at line 1137 of file giaDup.c.

| Gia_Man_t * Gia_ManDupAppendCones | ( | Gia_Man_t * | p, |
| Gia_Man_t ** | ppCones, | ||
| int | nCones, | ||
| int | fOnlyRegs ) |
Function*************************************************************
Synopsis [Appends logic cones as additional property outputs.]
Description []
SideEffects []
SeeAlso []
Definition at line 1305 of file giaDup.c.


Definition at line 1174 of file giaDup.c.


Definition at line 1156 of file giaDup.c.


Definition at line 5513 of file giaDup.c.

Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5505 of file giaDup.c.

Function*************************************************************
Synopsis [Reduce bit-width of GIA assuming it is Boolean.]
Description []
SideEffects []
SeeAlso []
Definition at line 1976 of file giaDup.c.

| void Gia_ManDupChoicesAdd | ( | Gia_ChMan_t * | p, |
| Gia_Man_t * | pGia ) |
Definition at line 6411 of file giaDup.c.


| Vec_Int_t * Gia_ManDupChoicesCreateSibls | ( | Gia_ChMan_t * | p | ) |
Definition at line 6449 of file giaDup.c.

| Gia_Man_t * Gia_ManDupChoicesFinish | ( | Gia_ChMan_t * | p | ) |
Definition at line 6464 of file giaDup.c.


| int Gia_ManDupChoicesMark | ( | Gia_Man_t * | pGia, |
| int | iLit0, | ||
| int | iLit1, | ||
| Vec_Int_t * | vObj2Tt, | ||
| int | iFunc ) |
Definition at line 6374 of file giaDup.c.


Definition at line 6358 of file giaDup.c.


| void Gia_ManDupChoicesNode | ( | Gia_ChMan_t * | p, |
| Gia_Man_t * | pGia, | ||
| int | iObj ) |
Definition at line 6383 of file giaDup.c.


| Gia_ChMan_t * Gia_ManDupChoicesStart | ( | Gia_Man_t * | pGia | ) |
Definition at line 6425 of file giaDup.c.


| void Gia_ManDupCleanDfs_rec | ( | Gia_Obj_t * | pObj | ) |
Definition at line 4502 of file giaDup.c.


Function*************************************************************
Synopsis [Cofactors w.r.t. an internal node.]
Description []
SideEffects []
SeeAlso []
Definition at line 1935 of file giaDup.c.

Definition at line 1861 of file giaDup.c.


Function*************************************************************
Synopsis [Cofactors w.r.t. a primary input variable.]
Description []
SideEffects []
SeeAlso []
Definition at line 1852 of file giaDup.c.


Definition at line 6041 of file giaDup.c.


Definition at line 2270 of file giaDup.c.


Definition at line 2282 of file giaDup.c.


Definition at line 3880 of file giaDup.c.


| void Gia_ManDupCones_rec | ( | Gia_Man_t * | p, |
| Gia_Obj_t * | pObj, | ||
| Vec_Ptr_t * | vLeaves, | ||
| Vec_Ptr_t * | vNodes, | ||
| Vec_Ptr_t * | vRoots ) |
Definition at line 3861 of file giaDup.c.


Definition at line 2235 of file giaDup.c.


| void Gia_ManDupConeSupp_rec | ( | Gia_Man_t * | pNew, |
| Gia_Man_t * | p, | ||
| Gia_Obj_t * | pObj, | ||
| Vec_Int_t * | vObjs ) |
Function*************************************************************
Synopsis [Duplicates logic cone of the literal and inserts it back.]
Description []
SideEffects []
SeeAlso []
Definition at line 2218 of file giaDup.c.


Definition at line 691 of file giaDup.c.

Function*************************************************************
Synopsis [Decomposes the miter outputs.]
Description []
SideEffects []
SeeAlso []
Definition at line 4675 of file giaDup.c.

Definition at line 4749 of file giaDup.c.

Definition at line 4769 of file giaDup.c.


Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4734 of file giaDup.c.

Definition at line 1748 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 1700 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates the AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 1668 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG in the DFS order while putting CIs first.]
Description []
SideEffects []
SeeAlso []
Definition at line 2307 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates the AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 1739 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 2708 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 2795 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG in the DFS order while putting CIs first.]
Description []
SideEffects []
SeeAlso []
Definition at line 2188 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG in the DFS order while putting CIs first.]
Description []
SideEffects []
SeeAlso []
Definition at line 2346 of file giaDup.c.


Definition at line 1770 of file giaDup.c.

Definition at line 1815 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates the AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 1806 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG in the DFS order while putting CIs first.]
Description []
SideEffects []
SeeAlso []
Definition at line 2158 of file giaDup.c.

Definition at line 6129 of file giaDup.c.

Function*************************************************************
Synopsis [Existentially quantified given variable.]
Description []
SideEffects []
SeeAlso []
Definition at line 2012 of file giaDup.c.


Function*************************************************************
Synopsis [Existentially quantifies the given variable.]
Description []
SideEffects []
SeeAlso []
Definition at line 2110 of file giaDup.c.

Definition at line 6236 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG while complementing the flops.]
Description [The array of initial state contains the init state for each state bit of the flops in the design.]
SideEffects []
SeeAlso []
Definition at line 628 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates while adding self-loops to the registers.]
Description []
SideEffects []
SeeAlso []
Definition at line 1399 of file giaDup.c.


| Gia_Man_t * Gia_ManDupFromVecs | ( | Gia_Man_t * | p, |
| Vec_Int_t * | vCis, | ||
| Vec_Int_t * | vAnds, | ||
| Vec_Int_t * | vCos, | ||
| int | nRegs ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4176 of file giaDup.c.


Function*************************************************************
Synopsis [Extracts "half" of the sequential AIG.]
Description []
SideEffects []
SeeAlso []
Definition at line 5125 of file giaDup.c.


Function*************************************************************
Synopsis [Remaps each CO cone to depend on the first CI variables.]
Description []
SideEffects []
SeeAlso []
Definition at line 4493 of file giaDup.c.


Function*************************************************************
Synopsis [Creates a miter for inductive checking of the invariant.]
Description [The first GIA (p) is a sequential AIG whose transition relation is used. The second GIA (pInv) is a combinational AIG representing the invariant over the register outputs. If the resulting combination miter is UNSAT, the invariant holds by simple induction.]
SideEffects []
SeeAlso []
Definition at line 1247 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG while putting first PIs, then nodes, then POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 597 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates the AIG with nodes ordered by level.]
Description []
SideEffects []
SeeAlso []
Definition at line 4135 of file giaDup.c.


Definition at line 846 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG without any changes.]
Description []
SideEffects []
SeeAlso []
Definition at line 1444 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates while adding self-loops to the registers.]
Description []
SideEffects []
SeeAlso []
Definition at line 1627 of file giaDup.c.


Definition at line 1887 of file giaDup.c.


Definition at line 823 of file giaDup.c.


Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5882 of file giaDup.c.

Definition at line 4108 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG while putting first PIs, then nodes, then POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 564 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG in the DFS order while putting CIs first.]
Description []
SideEffects []
SeeAlso []
Definition at line 2590 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG while putting first PIs, then nodes, then POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 532 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG while putting objects in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 206 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG while putting objects in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 473 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates the AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 180 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG while putting objects in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 438 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates the AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 408 of file giaDup.c.


Definition at line 482 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG while putting objects in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 313 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG while putting objects in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 342 of file giaDup.c.


Function*************************************************************
Synopsis [Decomposes the miter outputs.]
Description []
SideEffects []
SeeAlso []
Definition at line 4366 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG without any changes.]
Description []
SideEffects []
SeeAlso []
Definition at line 929 of file giaDup.c.


Definition at line 962 of file giaDup.c.


Definition at line 1026 of file giaDup.c.


Function*************************************************************
Synopsis [Appends second AIG without any changes.]
Description []
SideEffects []
SeeAlso []
Definition at line 1047 of file giaDup.c.

Definition at line 1104 of file giaDup.c.

Definition at line 1215 of file giaDup.c.


Function*************************************************************
Synopsis [Remaps combinational inputs when objects are DFS ordered.]
Description []
SideEffects []
SeeAlso []
Definition at line 128 of file giaDup.c.

Function*************************************************************
Synopsis [Remaps combinational outputs when objects are DFS ordered.]
Description []
SideEffects []
SeeAlso []
Definition at line 154 of file giaDup.c.

Function*************************************************************
Synopsis [Removes pointers to the unmarked nodes..]
Description []
SideEffects []
SeeAlso []
Definition at line 82 of file giaDup.c.


FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Removes pointers to the unmarked nodes..]
Description [Array vLits contains literals of p. At the same time, each object pObj of p points to a literal of pNew. This procedure remaps literals in array vLits into literals of pNew.]
SideEffects []
SeeAlso []
Definition at line 54 of file giaDup.c.

Definition at line 802 of file giaDup.c.


Definition at line 5319 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG while putting objects in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 376 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates while adding self-loops to the registers.]
Description []
SideEffects []
SeeAlso []
Definition at line 1359 of file giaDup.c.

Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4211 of file giaDup.c.

Definition at line 990 of file giaDup.c.


Definition at line 4513 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG while creating "parallel" copies.]
Description []
SideEffects []
SeeAlso []
Definition at line 1547 of file giaDup.c.

Function*************************************************************
Synopsis [Detect topmost gate.]
Description []
SideEffects []
SeeAlso []
Definition at line 2930 of file giaDup.c.

Function*************************************************************
Synopsis [Detect topmost gate.]
Description []
SideEffects []
SeeAlso []
Definition at line 2829 of file giaDup.c.


| Gia_Man_t * Gia_ManDupTrimmed | ( | Gia_Man_t * | p, |
| int | fTrimCis, | ||
| int | fTrimCos, | ||
| int | fDualOut, | ||
| int | OutValue ) |
Function*************************************************************
Synopsis [Duplicates AIG in the DFS order while putting CIs first.]
Description []
SideEffects []
SeeAlso []
Definition at line 2431 of file giaDup.c.


Function*************************************************************
Synopsis [Removes POs driven by PIs and PIs without fanout.]
Description []
SideEffects []
SeeAlso []
Definition at line 2512 of file giaDup.c.

Definition at line 2553 of file giaDup.c.

Function*************************************************************
Synopsis [Returns the array of non-const-0 POs of the dual-output miter.]
Description []
SideEffects []
SeeAlso []
Definition at line 2378 of file giaDup.c.


Definition at line 5457 of file giaDup.c.

Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5395 of file giaDup.c.

Definition at line 5404 of file giaDup.c.


Definition at line 5440 of file giaDup.c.


| int Gia_ManDupUifConstrOne | ( | Gia_Man_t * | pNew, |
| Gia_Man_t * | p, | ||
| Vec_Int_t * | vVec0, | ||
| Vec_Int_t * | vVec1 ) |
Definition at line 5430 of file giaDup.c.


Function*************************************************************
Synopsis [Existentially quantified given variable.]
Description []
SideEffects []
SeeAlso []
Definition at line 2059 of file giaDup.c.


Definition at line 5986 of file giaDup.c.

Definition at line 776 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates with the care set.]
Description []
SideEffects []
SeeAlso []
Definition at line 5560 of file giaDup.c.

Definition at line 4269 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates AIG while putting first PIs, then nodes, then POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 3816 of file giaDup.c.


| void Gia_ManDupWithConstrCollectAnd_rec | ( | Gia_Man_t * | p, |
| Gia_Obj_t * | pObj, | ||
| Vec_Int_t * | vSuper, | ||
| int | fFirst ) |
Function*************************************************************
Synopsis [Extract constraints.]
Description []
SideEffects []
SeeAlso []
Definition at line 4259 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates transition relation from p1 and property from p2.]
Description []
SideEffects []
SeeAlso []
Definition at line 2634 of file giaDup.c.


Function*************************************************************
Synopsis [Duplicates AIG without any changes.]
Description []
SideEffects []
SeeAlso []
Definition at line 905 of file giaDup.c.


| Gia_Man_t * Gia_ManDupZeroUndc | ( | Gia_Man_t * | p, |
| char * | pInit, | ||
| int | nNewPis, | ||
| int | fGiaSimple, | ||
| int | fVerbose ) |
Function*************************************************************
Synopsis [Performs 'zero' and 'undc' operation.]
Description [The init string specifies 0/1/X for each flop.]
SideEffects []
SeeAlso []
Definition at line 3569 of file giaDup.c.


| void Gia_ManHighLightFlopLogic | ( | Gia_Man_t * | p | ) |
Function*************************************************************
Synopsis [Duplicate AIG by creating a cut between logic fed by PIs]
Description []
SideEffects []
SeeAlso []
Definition at line 5307 of file giaDup.c.

Function************************************************************* Synopsis [Duplicates AIG while putting objects in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 5809 of file giaDup.c.

Definition at line 4643 of file giaDup.c.

Definition at line 4575 of file giaDup.c.

Definition at line 4601 of file giaDup.c.


| int Gia_ManIsoStrashReduceOne | ( | Gia_Man_t * | pNew, |
| Gia_Man_t * | p, | ||
| Gia_Obj_t * | pObj, | ||
| Vec_Int_t * | vSupp ) |
Definition at line 4586 of file giaDup.c.


Definition at line 5959 of file giaDup.c.

Function*************************************************************
Synopsis [Mark nodes supported by the cut.]
Description []
SideEffects []
SeeAlso []
Definition at line 5941 of file giaDup.c.


| Gia_Man_t * Gia_ManMiter | ( | Gia_Man_t * | p0, |
| Gia_Man_t * | p1, | ||
| int | nInsDup, | ||
| int | fDualOut, | ||
| int | fSeq, | ||
| int | fImplic, | ||
| int | fVerbose ) |
Function*************************************************************
Synopsis [Creates miter of two designs.]
Description []
SideEffects []
SeeAlso []
Definition at line 2983 of file giaDup.c.


Function*************************************************************
Synopsis [Creates miter of two designs.]
Description []
SideEffects []
SeeAlso []
Definition at line 3651 of file giaDup.c.

Function*************************************************************
Synopsis [Duplicates the AIG in the DFS order.]
Description []
SideEffects []
SeeAlso []
Definition at line 2962 of file giaDup.c.


Function*************************************************************
Synopsis [Creates miter of two designs.]
Description []
SideEffects []
SeeAlso []
Definition at line 3130 of file giaDup.c.


Function*************************************************************
Synopsis [Transforms output names.]
Description []
SideEffects []
SeeAlso []
Definition at line 3309 of file giaDup.c.


| Gia_Man_t * Gia_ManOneHot | ( | int | nSkips, |
| int | nVars ) |
Function*************************************************************
Synopsis [Generates AIG representing 1-hot condition for N inputs.]
Description [The condition is true of all POs are 0.]
SideEffects []
SeeAlso []
Definition at line 4082 of file giaDup.c.


Function*************************************************************
Synopsis [Pair-wise miter.]
Description []
SideEffects []
SeeAlso []
Definition at line 3338 of file giaDup.c.

Function*************************************************************
Synopsis [Permute inputs.]
Description []
SideEffects []
SeeAlso []
Definition at line 2758 of file giaDup.c.


Function*************************************************************
Synopsis [Returns 1 if PO can be removed.]
Description []
SideEffects []
SeeAlso []
Definition at line 2411 of file giaDup.c.

| void Gia_ManPrintChoices | ( | Gia_Man_t * | p | ) |
| void Gia_ManPrintEquivs | ( | Gia_Man_t * | p | ) |
Function*************************************************************
Synopsis [Print equivalences.]
Description []
SideEffects []
SeeAlso []
Definition at line 5233 of file giaDup.c.
| void Gia_ManPrintRepr | ( | Gia_Man_t * | p | ) |
| void Gia_ManProdAdderGen | ( | int | nArgA, |
| int | nArgB, | ||
| int | Seed, | ||
| int | fSigned, | ||
| int | fCla ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 5609 of file giaDup.c.

Definition at line 6311 of file giaDup.c.


Definition at line 6293 of file giaDup.c.


| Gia_Man_t * Gia_ManScorrDivideTest | ( | Gia_Man_t * | p, |
| Cec_ParCor_t * | pPars ) |
Definition at line 5282 of file giaDup.c.

| void Gia_ManSeqEquivDivide | ( | Gia_Man_t * | p, |
| Cec_ParCor_t * | pPars ) |
Function*************************************************************
Synopsis [Computing seq equivs by dividing AIG into two parts.]
Description []
SideEffects []
SeeAlso []
Definition at line 5261 of file giaDup.c.


Function*************************************************************
Synopsis [Merge two sets of sequential equivalences.]
Description []
SideEffects []
SeeAlso []
Definition at line 5175 of file giaDup.c.


| void Gia_ManSetMark0Dfs_rec | ( | Gia_Man_t * | p, |
| int | iObj ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 4809 of file giaDup.c.


| void Gia_ManSetMark1Dfs_rec | ( | Gia_Man_t * | p, |
| int | iObj ) |
Function*************************************************************
Synopsis [Compares two objects by their distance.]
Description []
SideEffects []
SeeAlso []
Definition at line 4345 of file giaDup.c.

Definition at line 4468 of file giaDup.c.

Definition at line 3518 of file giaDup.c.

Function*************************************************************
Synopsis [Transforms the circuit into a regular miter.]
Description []
SideEffects []
SeeAlso []
Definition at line 3376 of file giaDup.c.


Definition at line 3409 of file giaDup.c.


Definition at line 3440 of file giaDup.c.

Definition at line 3465 of file giaDup.c.

Function*************************************************************
Synopsis [Copy an AIG structure related to the selected POs.]
Description []
SideEffects []
SeeAlso []
Definition at line 3855 of file giaDup.c.

| int Gia_ObjWhichFanout | ( | Gia_Man_t * | p, |
| int | iFanin, | ||
| int | iFanout ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 6227 of file giaDup.c.

|
extern |
DECLARATIONS ///.
CFile****************************************************************
FileName [giaDup.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [Scalable AIG package.]
Synopsis [Duplication procedures.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [
]
Definition at line 61 of file giaBound.c.