/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
H A D | arenaViolation.c | 33 Vec_Ptr_t * createArenaLO( Aig_Man_t *pAigNew, Vec_Ptr_t *vBarriers ) in createArenaLO() 57 Vec_Ptr_t * createArenaLi( Aig_Man_t *pAigNew, Vec_Ptr_t *vBarriers, Vec_Ptr_t *vArenaSignal ) in createArenaLi() 82 Vec_Ptr_t *createMonotoneBarrierLO( Aig_Man_t *pAigNew, Vec_Ptr_t *vBarriers ) in createMonotoneBarrierLO() 124 Vec_Ptr_t *collectBarrierDisjunctions(Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, Vec_Ptr_t *vBarriers) in collectBarrierDisjunctions() 167 Aig_Man_t *pAigNew, in createArenaViolation() 532 Aig_Man_t *pAigNew; in generateWorkingAigWithDSC() local
|
H A D | ltl_parser.c | 505 void populateAigPointerUnitGF( Aig_Man_t *pAigNew, ltlNode *topASTNode, Vec_Ptr_t *vSignal, Vec_Vec… in populateAigPointerUnitGF() 558 Aig_Obj_t *buildLogicFromLTLNode_combinationalOnly( Aig_Man_t *pAigNew, ltlNode *pLtlNode ) in buildLogicFromLTLNode_combinationalOnly() 742 void populateBoolWithAigNodePtr( Abc_Ntk_t *pNtk, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, ltlNode *… in populateBoolWithAigNodePtr()
|
H A D | liveness_sim.c | 78 static char * retrieveTruePiName( Abc_Ntk_t *pNtkOld, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, Aig_O… in retrieveTruePiName() 100 static char * retrieveLOName( Abc_Ntk_t *pNtkOld, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, Aig_Obj_t… in retrieveLOName() 758 Aig_Man_t * pAig, *pAigNew; in Abc_CommandAbcLivenessToSafetySim() local
|
H A D | combination.c | 54 int generateCombinatorialStabil( Aig_Man_t *pAigNew, Aig_Man_t *pAigOld, in generateCombinatorialStabil() 101 int generateCombinatorialStabilExhaust( Aig_Man_t *pAigNew, Aig_Man_t *pAigOld, in generateCombinatorialStabilExhaust()
|
H A D | kLiveConstraints.c | 166 Aig_Man_t *pAigNew; in generateWorkingAig() local
|
H A D | liveness.c | 115 char * retrieveTruePiName( Abc_Ntk_t *pNtkOld, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, Aig_Obj_t *p… in retrieveTruePiName() 137 char * retrieveLOName( Abc_Ntk_t *pNtkOld, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, Aig_Obj_t *pObjP… in retrieveLOName() 1258 Aig_Man_t * pAig, *pAigNew = NULL; in Abc_CommandAbcLivenessToSafety() local 1603 Aig_Man_t * pAig, *pAigNew = NULL; in Abc_CommandAbcLivenessToSafetyAbstraction() local 2272 Aig_Man_t * pAig, *pAigNew = NULL; in Abc_CommandAbcLivenessToSafetyWithLTL() local
|
H A D | monotone.c | 350 Aig_Man_t *pAigNew; in findNewMonotone() local
|
H A D | disjunctiveMonotone.c | 277 Aig_Man_t *pAigNew; in findNewDisjunctiveMonotone() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigDup.c | 47 Aig_Man_t * pAigNew; in Saig_ManDupOrpos() local 93 Aig_Man_t * pAigNew; in Saig_ManCreateEquivMiter() local 484 Aig_Man_t * pAigNew; in Saig_ManDupWithPhase() local 547 Aig_Man_t * pAigNew; in Saig_ManDupCones() local
|
H A D | saigDual.c | 33 static inline void Saig_ObjDualFanin( Aig_Man_t * pAigNew, Vec_Ptr_t * vCopies, Aig_Obj_t * … in Saig_ObjDualFanin() 84 Aig_Man_t * pAigNew; in Saig_ManDupDual() local
|
H A D | saigConstr.c | 286 Aig_Man_t * pAigNew; in Saig_ManDupUnfoldConstrs() local 381 Aig_Man_t * pAigNew; in Saig_ManDupFoldConstrs() local
|
H A D | saigOutDec.c | 152 Aig_Man_t * pAigNew = NULL; in Saig_ManDecPropertyOutput() local
|
H A D | saigTempor.c | 92 Aig_Man_t * pAigNew, * pFrames; in Saig_ManTemporDecompose() local
|
H A D | saigUnfold2.c | 378 Aig_Man_t * pAigNew; in Saig_ManDupFoldConstrsFunc2() local
|
H A D | saigConstr2.c | 944 Aig_Man_t * pAigNew; in Saig_ManDupFoldConstrsFunc() local
|
H A D | saigSimMv.c | 78 Saig_MvAnd_t * pAigNew; // AIG nodes member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswCore.c | 238 Aig_Man_t * pAigNew; in Ssw_SignalCorrespondenceRefine() local 418 Aig_Man_t * pAigNew; in Ssw_SignalCorrespondence() local
|
H A D | sswPairs.c | 275 Aig_Man_t * pAigNew, * pMiter; in Ssw_SignalCorrespondenceWithPairs() local 319 Aig_Man_t * pAigNew, * pAigRes; in Ssw_SignalCorrespondeceTestPairs() local
|
H A D | sswIslands.c | 423 Aig_Man_t * pMiter, * pAigNew; in Ssw_SecWithSimilaritySweep() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaHcd.c | 614 Aig_Man_t * pAigNew; in Hcd_ComputeChoices() local 676 Aig_Man_t * pAig, * pAigNew; in Hcd_ComputeChoicesTest() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchChoice.c | 443 void Dch_DeriveChoiceAigNode( Aig_Man_t * pAigNew, Aig_Man_t * pAigOld, Aig_Obj_t * pObj, int fSkip… in Dch_DeriveChoiceAigNode()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigScl.c | 655 Aig_Man_t * pAigInit, * pAigNew; in Aig_ManScl() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcCexMin1.c | 497 Aig_Man_t * pAigNew; in Saig_ManCexMinDupWithCubes() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraLcr.c | 538 Aig_Man_t * pAigPart, * pAigTemp, * pAigNew = NULL; in Fra_FraigLatchCorrespondence() local
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absOldCex.c | 149 Aig_Man_t * pAigNew; in Saig_ManDupWithCubes() local
|