Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigDual.c81 …g, Vec_Int_t * vDcFlops, int nDualPis, int fDualFfs, int fMiterFfs, int fComplPo, int fCheckZero, … in Saig_ManDupDual() argument
177 pMiter = Aig_NotCond( pMiter, fComplPo ); in Saig_ManDupDual()
H A Dsaig.h125 …g, Vec_Int_t * vDcFlops, int nDualPis, int fDualFfs, int fMiterFfs, int fComplPo, int fCheckZero, …
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c29285 int fComplPo = 0; in Abc_CommandDualRail() local
29315 fComplPo ^= 1; in Abc_CommandDualRail()
29352 …pAigNew = Saig_ManDupDual( pAig, vDcFlops, nDualPis, fDualFfs, fMiterFfs, fComplPo, fCheckZero, fC… in Abc_CommandDualRail()
29372 …Abc_Print( -2, "\t-c : toggle complementing the miter output [default = %s]\n", fComplPo? "yes… in Abc_CommandDualRail()