Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigTempor.c186 …_t * pAig, int nFrames, int TimeOut, int nConfLimit, int fUseBmc, int fUseTransSigs, int fVerbose,… in Saig_ManTempor() argument
208 if ( fUseTransSigs ) in Saig_ManTempor()
236 if ( iLastBefore < 1 || !fUseTransSigs ) in Saig_ManTempor()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDar.c3722 …_t * pNtk, int nFrames, int TimeOut, int nConfLimit, int fUseBmc, int fUseTransSigs, int fVerbose,… in Abc_NtkDarTempor() argument
3724 …_t * pAig, int nFrames, int TimeOut, int nConfLimit, int fUseBmc, int fUseTransSigs, int fVerbose,… in Abc_NtkDarTempor()
3730 …pTemp = Saig_ManTempor( pMan, nFrames, TimeOut, nConfLimit, fUseBmc, fUseTransSigs, fVerbose, fVer… in Abc_NtkDarTempor()
H A Dabc.c27295 …_t * pNtk, int nFrames, int TimeOut, int nConfLimit, int fUseBmc, int fUseTransSigs, int fVerbose,… in Abc_CommandTempor()
27301 int fUseTransSigs = 0; in Abc_CommandTempor() local
27348 fUseTransSigs ^= 1; in Abc_CommandTempor()
27402 …pNtkRes = Abc_NtkDarTempor( pNtk, nFrames, TimeOut, nConfMax, fUseBmc, fUseTransSigs, fVerbose, fV… in Abc_CommandTempor()
27419 …Abc_Print( -2, "\t-s : toggle using transient signals [default = %s]\n", fUseTransSigs? "yes… in Abc_CommandTempor()