| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
| 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() argument
93 pObjOld = Aig_ManCi( pAigOld, index ); in retrieveTruePiName()
100 static char * retrieveLOName( Abc_Ntk_t *pNtkOld, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, Aig_Obj_t… in retrieveLOName() argument
104 int index, oldIndex, originalLatchNum = Saig_ManRegNum(pAigOld), strMatch, i; in retrieveLOName()
113 oldIndex = Saig_ManPiNum( pAigOld ) + index; in retrieveLOName()
114 pObjOld = Aig_ManCi( pAigOld, oldIndex ); in retrieveLOName()
123 oldIndex = Saig_ManPiNum( pAigOld ) + index - originalLatchNum - 1; in retrieveLOName()
124 pObjOld = Aig_ManCi( pAigOld, oldIndex ); in retrieveLOName()
133 Saig_ManForEachPo( pAigOld, pObj, i ) in retrieveLOName()
152 Saig_ManForEachPo( pAigOld, pObj, i ) in retrieveLOName()
|
| H A D | combination.c | 54 int generateCombinatorialStabil( Aig_Man_t *pAigNew, Aig_Man_t *pAigOld, in generateCombinatorialStabil() argument
81 pObj = Aig_ObjChild0Copy(Aig_ManCo( pAigOld, targetPoIndex )); in generateCombinatorialStabil()
101 int generateCombinatorialStabilExhaust( Aig_Man_t *pAigNew, Aig_Man_t *pAigOld, in generateCombinatorialStabilExhaust() argument
128 pObj = (Aig_Obj_t *)(Aig_ManLo( pAigOld, targetPoIndex )->pData); in generateCombinatorialStabilExhaust()
|
| H A D | arenaViolation.c | 124 Vec_Ptr_t *collectBarrierDisjunctions(Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, Vec_Ptr_t *vBarriers) in collectBarrierDisjunctions() argument
146 pObjTargetPoOld = Aig_ManCo( pAigOld, jElem ); in collectBarrierDisjunctions()
149 pObjCurr = driverToPoNew( pAigOld, pObjTargetPoOld ); in collectBarrierDisjunctions()
166 Aig_Man_t *pAigOld, in createArenaViolation() argument
187 vBarrierSignals = collectBarrierDisjunctions(pAigOld, pAigNew, vMasterBarriers); in createArenaViolation()
|
| H A D | ltl_parser.c | 742 void populateBoolWithAigNodePtr( Abc_Ntk_t *pNtk, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, ltlNode *… in populateBoolWithAigNodePtr() argument
765 pObj = Aig_ManCo( pAigOld, i ); in populateBoolWithAigNodePtr()
778 populateBoolWithAigNodePtr( pNtk, pAigOld, pAigNew, topASTNode->left ); in populateBoolWithAigNodePtr()
779 populateBoolWithAigNodePtr( pNtk, pAigOld, pAigNew, topASTNode->right ); in populateBoolWithAigNodePtr()
787 populateBoolWithAigNodePtr( pNtk, pAigOld, pAigNew, topASTNode->left ); in populateBoolWithAigNodePtr()
|
| H A D | liveness.c | 54 extern void populateBoolWithAigNodePtr( Abc_Ntk_t *pNtk, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, lt…
115 char * retrieveTruePiName( Abc_Ntk_t *pNtkOld, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, Aig_Obj_t *p… in retrieveTruePiName() argument
130 pObjOld = Aig_ManCi( pAigOld, index ); in retrieveTruePiName()
137 char * retrieveLOName( Abc_Ntk_t *pNtkOld, Aig_Man_t *pAigOld, Aig_Man_t *pAigNew, Aig_Obj_t *pObjP… in retrieveLOName() argument
141 int index, oldIndex, originalLatchNum = Saig_ManRegNum(pAigOld), strMatch, i; in retrieveLOName()
150 oldIndex = Saig_ManPiNum( pAigOld ) + index; in retrieveLOName()
151 pObjOld = Aig_ManCi( pAigOld, oldIndex ); in retrieveLOName()
160 oldIndex = Saig_ManPiNum( pAigOld ) + index - originalLatchNum - 1; in retrieveLOName()
161 pObjOld = Aig_ManCi( pAigOld, oldIndex ); in retrieveLOName()
171 Saig_ManForEachPo( pAigOld, pObj, i ) in retrieveLOName()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigSimMv.c | 64 Saig_MvObj_t * pAigOld; // AIG objects member
218 p->pAigOld = Saig_ManCreateReducedAig( pAig, &p->vFlops ); in Saig_MvManStart()
263 ABC_FREE( p->pAigOld ); in Saig_MvManStop()
437 Saig_MvManForEachObj( p->pAigOld, pEntry ) in Saig_MvSimulateFrame()
442 Saig_MvSimulateValue0(p->pAigOld, pEntry), in Saig_MvSimulateFrame()
443 Saig_MvSimulateValue1(p->pAigOld, pEntry), fFirst ); in Saig_MvSimulateFrame()
446 pEntry->Value = Saig_MvSimulateValue0(p->pAigOld, pEntry); in Saig_MvSimulateFrame()
468 pEntry->Value = Saig_MvSimulateValue0( p->pAigOld, pEntry ); in Saig_MvSimulateFrame()
|
| /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() argument
448 pRepr = Aig_ObjRepr( pAigOld, pObj ); in Dch_DeriveChoiceAigNode()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCTas.c | 1696 void Tas_ManSolveMiterNc2( Gia_Man_t * pAig, int nConfs, Gia_Man_t * pAigOld, Vec_Ptr_t * vOldRoots… in Tas_ManSolveMiterNc2() argument
1756 assert( !Gia_ObjProved( pAigOld, Gia_ObjId(pAigOld, pOldRoot) ) ); in Tas_ManSolveMiterNc2()
1757 Gia_ObjSetProved( pAigOld, Gia_ObjId(pAigOld, pOldRoot) ); in Tas_ManSolveMiterNc2()
|