Home
last modified time | relevance | path

Searched refs:Abc_SopCreateXor (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioReadEdif.c209 … Abc_ObjSetData( pObj, Abc_SopCreateXor((Mem_Flex_t *)pNtk->pManFunc, Abc_ObjFaninNum(pObj)) ); in Io_ReadEdifNetwork()
H A DioReadBench.c247 Abc_ObjSetData( pNode, Abc_SopCreateXor((Mem_Flex_t *)pNtk->pManFunc, nNames) ); in Io_ReadBenchNetwork()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/csat/
H A Dcsat_apis.c250 pSop = Abc_SopCreateXor( (Mem_Flex_t *)mng->pNtk->pManFunc, nofi ); in ABC_AddGate()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcSop.c275 char * Abc_SopCreateXor( Mem_Flex_t * pMan, int nVars ) in Abc_SopCreateXor() function
H A Dabc.h895 extern ABC_DLL char * Abc_SopCreateXor( Mem_Flex_t * pMan, int nVars );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDar.c830 pObjNew->pData = Abc_SopCreateXor( (Mem_Flex_t *)pNtkNew->pManFunc, 2 ); in Abc_NtkFromMappedGia()