Searched refs:fBooth (Results 1 – 7 of 7) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acec.h | 50 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 D | acecNorm.c | 210 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 D | acecCl.c | 418 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 D | wlc.h | 217 int fBooth; member 239 pPar->fBooth = 0; in Wlc_BstParDefault()
|
H A D | wlcCom.c | 1098 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 D | wlcBlast.c | 1794 if ( pPar->fBooth ) in Wlc_NtkBitBlast()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abc.c | 12787 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 …]
|