Searched refs:pnOutputs (Results 1 – 4 of 4) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
H A D | cgtInt.h | 100 …t nVarsMin, int nFlopsMin, int iStart, Aig_Man_t * pCare, Vec_Vec_t * vSuppsInv, int * pnOutputs );
|
H A D | cgtAig.c | 441 …nt nVarsMin, int nFlopsMin, int iStart, Aig_Man_t * pCare, Vec_Vec_t * vSuppsInv, int * pnOutputs ) in Cgt_ManDupPartition() argument 477 if ( pnOutputs != NULL ) in Cgt_ManDupPartition() 478 *pnOutputs = Vec_PtrSize( vPos ); in Cgt_ManDupPartition()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigMiter.c | 1038 int Ssw_SecCexResimulate( Aig_Man_t * p, int * pModel, int * pnOutputs ) in Ssw_SecCexResimulate() argument 1042 *pnOutputs = 0; in Ssw_SecCexResimulate() 1056 (*pnOutputs)++; in Ssw_SecCexResimulate()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecCec.c | 74 extern int Ssw_SecCexResimulate( Aig_Man_t * p, int * pModel, int * pnOutputs ); in Cec_ManVerifyOld()
|