Home
last modified time | relevance | path

Searched refs:Hop_CreateAnd (Results 1 – 5 of 5) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/hop/
H A DhopOper.c320 Hop_Obj_t * Hop_CreateAnd( Hop_Man_t * p, int nVars ) in Hop_CreateAnd() function
H A Dhop.h319 extern Hop_Obj_t * Hop_CreateAnd( Hop_Man_t * p, int nVars );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/ver/
H A DverFormula.c465 pRes = Hop_CreateAnd( (Hop_Man_t *)pMan, Vec_PtrSize(vNames)/2 ); in Ver_FormulaReduction()
H A DverCore.c1405 pNode->pData = Hop_CreateAnd( (Hop_Man_t *)pNtk->pManFunc, Abc_ObjFaninNum(pNode) ); in Ver_ParseGateStandard()
1411 pNode->pData = Hop_CreateAnd( (Hop_Man_t *)pNtk->pManFunc, Abc_ObjFaninNum(pNode) ); in Ver_ParseGateStandard()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcObj.c752 pNode->pData = Hop_CreateAnd( (Hop_Man_t *)pNtk->pManFunc, Vec_PtrSize(vFanins) ); in Abc_NtkCreateNodeAnd()