Searched refs:fRetimeFirst (Results 1 – 4 of 4) sorted by relevance
64 p->fRetimeFirst = 1; // enables most-forward retiming at the beginning in Fra_SecSetDefaultParams()159 if ( pParSec->fRetimeFirst && pNew->nRegs ) in Fra_FraigSec()
127 int fRetimeFirst; // enables most-forward retiming at the beginning member
1038 pSecPar->fRetimeFirst = 0; in Gia_ManVerifyWithBoxes()
24256 pSecPar->fRetimeFirst ^= 1; in Abc_CommandDSec()24322 … toggles forward retiming at the beginning [default = %s]\n", pSecPar->fRetimeFirst? "yes": "no" ); in Abc_CommandDSec()24496 pSecPar->fRetimeFirst ^= 1; in Abc_CommandDProve()24584 … toggles forward retiming at the beginning [default = %s]\n", pSecPar->fRetimeFirst? "yes": "no" ); in Abc_CommandDProve()