Searched refs:Mio_GateReadTruth (Results 1 – 5 of 5) sorted by relevance
180 word Mio_GateReadTruth ( Mio_Gate_t * pGate ) { return pGate->nInputs <=… in Mio_GateReadTruth() function
152 extern word Mio_GateReadTruth ( Mio_Gate_t * pGate );
1332 pTruths[i] = Mio_GateReadTruth( ppGates[i] ); in Nf_ManPrepareLibrary()
142 Vec_WrdPush( vGateFuncs, Mio_GateReadTruth(pGate) ); in Sfm_LibPreprocess()
119 return Mio_GateReadTruth((Mio_Gate_t *)pObj->pData) == ABC_CONST(0x5555555555555555); in Abc_SclIsInv()