Searched refs:nMultiSize (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcExtract.c | 34 int nMultiSize; member
251 if ( Vec_WrdSize(vSuper) <= 1 || Vec_WrdSize(vSuper) >= p->nMultiSize ) in Abc_NtkTraverseSupersXor_rec()
291 if ( Vec_WrdSize(vSuper) <= 1 || Vec_WrdSize(vSuper) >= p->nMultiSize ) in Abc_NtkTraverseSupersAnd_rec()
720 Abc_Ntk_t * Abc_NtkShareXor( Abc_Ntk_t * pNtk, int nMultiSize, int fAnd, int fVerbose ) in Abc_NtkShareXor() argument
727 p->nMultiSize = nMultiSize; in Abc_NtkShareXor()
|
| H A D | abc.c | 7976 extern Abc_Ntk_t * Abc_NtkShareXor( Abc_Ntk_t * pNtk, int nMultiSize, int fAnd, int fVerbose ); in Abc_CommandExtract()
7978 int c, nMultiSize, fAnd, fVerbose; in Abc_CommandExtract() local
7982 nMultiSize = 3; in Abc_CommandExtract()
7996 nMultiSize = atoi(argv[globalUtilOptind]); in Abc_CommandExtract()
7998 if ( nMultiSize < 0 ) in Abc_CommandExtract()
8024 pNtkRes = Abc_NtkShareXor( pNtk, nMultiSize, fAnd, fVerbose ); in Abc_CommandExtract()
8037 …-2, "\t-K <num> : the minimum gate size to consider for extraction [default = %d]\n", nMultiSize ); in Abc_CommandExtract()
|