Searched refs:Abc_ObjXorFaninC (Results 1 – 11 of 11) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcNetlist.c | 426 Abc_ObjXorFaninC( pObj, k ); in Abc_NtkAigToLogicSopNand()
474 Abc_ObjXorFaninC( pObj, k ); in Abc_NtkAigToLogicSopNand()
|
| H A D | abcUtil.c | 904 Abc_ObjXorFaninC( pNodeCo, 0 ); in Abc_NtkFixCoDriverProblem()
913 Abc_ObjXorFaninC( pNodeCo, 0 ); in Abc_NtkFixCoDriverProblem()
1097 Abc_ObjXorFaninC( pNode, 0 ); in Abc_NtkLogicMakeSimpleCos()
1162 Abc_ObjXorFaninC( pNode, 0 ); in Abc_NtkLogicMakeSimpleCos()
1177 Abc_ObjXorFaninC( pNode, 0 ); in Abc_NtkLogicMakeSimpleCos()
2252 Abc_ObjXorFaninC( pObj, 0 ); in Abc_NtkInvertConstraints()
|
| H A D | abcFanio.c | 198 Abc_ObjXorFaninC( pObj, iFanin ); in Abc_ObjPatchFanin()
|
| H A D | abcNtk.c | 1835 Abc_ObjXorFaninC( pObj, 0 ); in Abc_NtkDropOneOutput()
1871 Abc_ObjXorFaninC( pObj1, 0 ); in Abc_NtkSwapOneOutput()
1872 Abc_ObjXorFaninC( pObj2, 0 ); in Abc_NtkSwapOneOutput()
|
| H A D | abc.h | 383 static inline void Abc_ObjXorFaninC( Abc_Obj_t * pObj, int i ){ assert( i >=0 && i < 2 ); if… in Abc_ObjXorFaninC() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcQbf.c | 160 Abc_ObjXorFaninC( Abc_NtkPo(pNtkVer,0), 0 ); in Abc_NtkQbf()
|
| H A D | abcQuant.c | 410 Abc_ObjXorFaninC( Abc_NtkPo(pNtkReached,0), 0 ); in Abc_NtkReachability()
|
| H A D | abcStrash.c | 214 Abc_ObjXorFaninC( Abc_ObjFanin0(pObj), 0 ); in Abc_NtkRestrashZero()
|
| H A D | abcVerify.c | 314 Abc_ObjXorFaninC( Abc_NtkPo(pMiterPart,0), 0 ); in Abc_NtkCecFraigPart()
|
| H A D | abcDar.c | 3939 Abc_ObjXorFaninC( Abc_NtkPo(pNtkOn1, 0), 0 ); in Abc_NtkInter()
3944 Abc_ObjXorFaninC( Abc_NtkPo(pNtkOff1, 0), 0 ); in Abc_NtkInter()
3951 Abc_ObjXorFaninC( Abc_NtkPo(pNtkInter1, 0), 0 ); in Abc_NtkInter()
|
| H A D | abc.c | 3648 Abc_ObjXorFaninC( pObj, 0 ); in Abc_CommandStrash()
13271 Abc_ObjXorFaninC( pObj, 0 ); in Abc_CommandInter()
|