Home
last modified time | relevance | path

Searched refs:nIterCheck (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A Dbmc.h186 int nIterCheck; member
H A DbmcFault.c115 p->nIterCheck = 0; in Gia_ParFfSetDefault()
1635 if ( pPars->nIterCheck && vPars == NULL ) in Gia_ManFaultTest()
1644 if ( Iter && pPars->nIterCheck && (Iter % pPars->nIterCheck) == 0 ) in Gia_ManFaultTest()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c43410 pPars->nIterCheck = atoi(argv[globalUtilOptind]); in Abc_CommandAbc9FFTest()
43412 if ( pPars->nIterCheck < 0 ) in Abc_CommandAbc9FFTest()
43613 …um : specifies iteration to check for fixed parameters [default = %d]\n", pPars->nIterCheck ); in Abc_CommandAbc9FFTest()