Home
last modified time | relevance | path

Searched refs:fBooth (Results 1 – 7 of 7) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A Dacec.h50 int fBooth; // expecting Booth multiplier member
70 extern Gia_Man_t * Acec_ManDecla( Gia_Man_t * pGia, int fBooth, int fVerbose );
87 extern Gia_Man_t * Acec_Normalize( Gia_Man_t * pGia, int fBooth, int fVerbose );
H A DacecNorm.c210 Gia_Man_t * Acec_Normalize( Gia_Man_t * pGia, int fBooth, int fVerbose ) in Acec_Normalize() argument
212 Vec_Bit_t * vIgnore = fBooth ? Acec_BoothFindPPG( pGia ) : NULL; in Acec_Normalize()
H A DacecCl.c418 Gia_Man_t * Acec_ManDecla( Gia_Man_t * pGia, int fBooth, int fVerbose ) in Acec_ManDecla() argument
422 Vec_Bit_t * vIgnore = fBooth ? Acec_BoothFindPPG(pGia) : NULL; in Acec_ManDecla()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A Dwlc.h217 int fBooth; member
239 pPar->fBooth = 0; in Wlc_BstParDefault()
H A DwlcCom.c1098 pPar->fBooth ^= 1; in Abc_CommandBlast()
1210 …e generating radix-4 Booth multipliers [default = %s]\n", pPar->fBooth? "yes": "no" ); in Abc_CommandBlast()
H A DwlcBlast.c1794 if ( pPar->fBooth ) in Wlc_NtkBitBlast()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dabc.c12787 int fBooth; in Abc_CommandGen() local
12812 fBooth = 0; in Abc_CommandGen()
12882 fBooth ^= 1; in Abc_CommandGen()
12922 else if ( fBooth ) in Abc_CommandGen()
44947 pPars->fBooth ^= 1; in Abc_CommandAbc9Acec()
45120 int c, fBooth = 0, fVerbose = 0; in Abc_CommandAbc9Anorm() local
45127 fBooth ^= 1; in Abc_CommandAbc9Anorm()
45143 pTemp = Acec_Normalize( pAbc->pGia, fBooth, fVerbose ); in Abc_CommandAbc9Anorm()
45170 int c, fBooth = 0, fVerbose = 0; in Abc_CommandAbc9Decla() local
45177 fBooth ^= 1; in Abc_CommandAbc9Decla()
[all …]