Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A Dssw.h66 int fPartSigCorr; // uses partial signal correspondence member
H A DsswIslands.c438 if ( p->pPars->fPartSigCorr ) in Ssw_SecWithSimilaritySweep()
444 if ( p->pPars->fPartSigCorr ) in Ssw_SecWithSimilaritySweep()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c24733 pPars->fPartSigCorr = 1; in Abc_CommandSimSec()
24766 pPars->fPartSigCorr ^= 1; in Abc_CommandSimSec()
24822 …uses partial vs. full signal correspondence [default = %s]\n", pPars->fPartSigCorr? "partial": "fu… in Abc_CommandSimSec()