Searched refs:nBmcFramesMax (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDar.c | 2834 int Abc_NtkDarProve( Abc_Ntk_t * pNtk, Fra_Sec_t * pSecPar, int nBmcFramesMax, int nBmcConfMax ) in Abc_NtkDarProve() argument 2895 …RetValue = Saig_BmcPerform( pMan, 0, nBmcFramesMax, 2000, 0, nBmcConfMax, 0, pSecPar->fVerbose, 0,… in Abc_NtkDarProve()
|
H A D | abc.c | 24354 int nBmcFramesMax = 20; in Abc_CommandDProve() local 24358 …extern int Abc_NtkDarProve( Abc_Ntk_t * pNtk, Fra_Sec_t * pSecPar, int nBmcFramesMax, int nBmcConf… in Abc_CommandDProve() 24379 nBmcFramesMax = atoi(argv[globalUtilOptind]); in Abc_CommandDProve() 24381 if ( nBmcFramesMax < 0 ) in Abc_CommandDProve() 24549 pAbc->Status = Abc_NtkDarProve( pNtk, pSecPar, nBmcFramesMax, nBmcConfMax ); in Abc_CommandDProve() 24570 Abc_Print( -2, "\t-A num : the limit on the depth of BMC [default = %d]\n", nBmcFramesMax ); in Abc_CommandDProve()
|