Searched refs:pWorkingAig (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
| H A D | kliveness.c | 540 Aig_Man_t *pWorkingAig; in Abc_CommandCS_kLiveness() local
650 … pWorkingAig = generateWorkingAigWithDSC( pAig, pNtk, &liveIndex_0, vMasterBarrierDisjuncts ); in Abc_CommandCS_kLiveness()
651 pAigCS = introduceAbsorberLogic(pWorkingAig, &liveIndex_0, &liveIndex_k, 0); in Abc_CommandCS_kLiveness()
655 pWorkingAig = generateWorkingAig( pAig, pNtk, &liveIndex_0 ); in Abc_CommandCS_kLiveness()
656 pAigCS = introduceAbsorberLogic(pWorkingAig, &liveIndex_0, &liveIndex_k, 0); in Abc_CommandCS_kLiveness()
659 Aig_ManStop(pWorkingAig); in Abc_CommandCS_kLiveness()
|