Searched refs:vDcFlops (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigDual.c | 81 Aig_Man_t * Saig_ManDupDual( Aig_Man_t * pAig, Vec_Int_t * vDcFlops, int nDualPis, int fDualFfs, in… in Saig_ManDupDual() argument
89 assert( vDcFlops == NULL || Vec_IntSize(vDcFlops) == Aig_ManRegNum(pAig) ); in Saig_ManDupDual()
114 if ( vDcFlops ) in Saig_ManDupDual()
115 pTemp0 = Aig_NotCond( pTemp0, !Vec_IntEntry(vDcFlops, i-Saig_ManPiNum(pAig)) ); in Saig_ManDupDual()
183 if ( vDcFlops ) in Saig_ManDupDual()
184 pTemp0 = Aig_NotCond( pTemp0, !Vec_IntEntry(vDcFlops, i) ); in Saig_ManDupDual()
|
| H A D | saig.h | 125 extern Aig_Man_t * Saig_ManDupDual( Aig_Man_t * pAig, Vec_Int_t * vDcFlops, int nDualPis, int…
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abc.c | 29279 Vec_Int_t * vDcFlops = NULL; in Abc_CommandDualRail() local
29348 vDcFlops = Abc_NtkFindDcLatches( pNtk ); in Abc_CommandDualRail()
29352 …pAigNew = Saig_ManDupDual( pAig, vDcFlops, nDualPis, fDualFfs, fMiterFfs, fComplPo, fCheckZero, fC… in Abc_CommandDualRail()
29357 Vec_IntFreeP( &vDcFlops ); in Abc_CommandDualRail()
|