Home
last modified time | relevance | path

Searched refs:fUseXors (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/
H A DamapCore.c53 p->fUseXors = 1; // enables the use of XORs in Amap_ManSetDefaultParams()
88 p->fUseXor = pPars->fUseXors && pLib->fHasXor; in Amap_ManTest()
H A Damap.h51 int fUseXors; // enables the use of XORs member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbUtil.c506 int Acb_ObjToGia2( Gia_Man_t * pNew, Acb_Ntk_t * p, int iObj, Vec_Int_t * vTemp, int fUseXors ) in Acb_ObjToGia2() argument
524 Res = fUseXors ? Gia_ManAppendBuf(pNew, Vec_IntEntry(vTemp, 0)) : Vec_IntEntry(vTemp, 0); in Acb_ObjToGia2()
552 Gia_Man_t * Acb_NtkToGia2( Acb_Ntk_t * p, int fUseXors, Vec_Int_t * vTargets, int nTargets ) in Acb_NtkToGia2() argument
572 Acb_ObjSetCopy( p, iObj, Acb_ObjToGia2(pNew, p, iObj, vFanins, fUseXors) ); in Acb_NtkToGia2()
663 int Acb_NtkExtract( char * pFileName0, char * pFileName1, int fUseXors, int fVerbose, in Acb_NtkExtract() argument
673 Gia_Man_t * pGiaF = Acb_NtkToGia2( pNtkF, fUseXors, &pNtkF->vTargets, 0 ); in Acb_NtkExtract()
732 …Abc_ObjToGia2( Gia_Man_t * pNew, Abc_Ntk_t * p, Abc_Obj_t * pObj, Vec_Int_t * vTemp, int fUseXors ) in Abc_ObjToGia2() argument
751 Gia_Man_t * Abc_NtkToGia2( Abc_Ntk_t * p, int fUseXors ) in Abc_NtkToGia2() argument
766 pObj->iTemp = Abc_ObjToGia2(pNew, p, pObj, vFanins, fUseXors); in Abc_NtkToGia2()
776 int Abc_NtkExtract( char * pFileName0, char * pFileName1, int fUseXors, int fVerbose, in Abc_NtkExtract() argument
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c17758 pPars->fUseXors ^= 1; in Abc_CommandAmap()
17841 …Abc_Print( -2, "\t-x : toggles using XOR matching [default = %s]\n", pPars->fUseXors? "yes":… in Abc_CommandAmap()