Searched refs:Aig_ManRegPartitionSimple (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswPart.c | 79 vResult = Aig_ManRegPartitionSimple( pAig, nPartSize, pPars->nOverSize ); in Ssw_SignalCorrespondencePart()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigPartReg.c | 474 Vec_Ptr_t * Aig_ManRegPartitionSimple( Aig_Man_t * pAig, int nPartSize, int nOverSize ) in Aig_ManRegPartitionSimple() function
|
H A D | aigScl.c | 614 vResult = Aig_ManRegPartitionSimple( pAig, 0, 0 ); in Aig_ManSclPart()
|
H A D | aig.h | 585 extern Vec_Ptr_t * Aig_ManRegPartitionSimple( Aig_Man_t * pAig, int nPartSize, int nOverSize );
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fraInd.c | 282 vResult = Aig_ManRegPartitionSimple( pAig, nPartSize, pPars->nOverSize ); in Fra_FraigInductionPart()
|