/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcICheck.c | 91 sat_solver * Bmc_DeriveSolver( Gia_Man_t * p, Gia_Man_t * pMiter, Cnf_Dat_t * pCnf, int nFramesMax,… in Bmc_DeriveSolver() 196 void Bmc_PerformICheck( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fEmpty, int fVerbose ) in Bmc_PerformICheck() 370 int Bmc_PerformISearchOne( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fReverse, int fBackTopo… in Bmc_PerformISearchOne() 489 Vec_Int_t * Bmc_PerformISearch( Gia_Man_t * p, int nFramesMax, int nTimeOut, int fReverse, int fBac… in Bmc_PerformISearch()
|
H A D | bmcBmc2.c | 39 int nFramesMax; // the max number of timeframes to consider member 202 Vec_Ptr_t * Abs_ManTernarySimulate( Aig_Man_t * p, int nFramesMax, int fVerbose ) in Abs_ManTernarySimulate() 282 Saig_Bmc_t * Saig_BmcManStart( Aig_Man_t * pAig, int nFramesMax, int nNodesMax, int nConfMaxOne, in… in Saig_BmcManStart() 811 int Saig_BmcPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nNodesMax, int nTimeOut, int… in Saig_BmcPerform()
|
H A D | bmcBmcAnd.c | 284 Gia_Man_t * Gia_ManBmcUnroll( Gia_Man_t * pGia, int nFramesMax, int nFramesAdd, int fVerbose, Vec_I… in Gia_ManBmcUnroll() 656 int nFramesMax = pPars->nFramesMax ? pPars->nFramesMax : ABC_INFINITY; in Gia_ManBmcPerform_Unr() local 776 int nFramesMax, f, i=0, Lit, status, RetValue = -2; in Gia_ManBmcPerform_old_cnf() local 961 int nFramesMax, f, i=0, Lit = 1, status, RetValue = -2; in Gia_ManBmcPerformInt() local
|
H A D | bmcCexDepth.c | 294 Gia_Man_t * Bmc_CexBuildNetwork2Test( Gia_Man_t * p, Abc_Cex_t * pCex, int nFramesMax ) in Bmc_CexBuildNetwork2Test()
|
H A D | bmc.h | 92 int nFramesMax; // maximum number of timeframes member 130 int nFramesMax; // maximum number of timeframes member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigGlaPba.c | 38 int nFramesMax; member 335 Aig_Gla2Man_t * Aig_Gla2ManStart( Aig_Man_t * pAig, int nStart, int nFramesMax, int fVerbose ) in Aig_Gla2ManStart() 525 Vec_Int_t * Aig_Gla2ManPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nConfLimit, int T… in Aig_Gla2ManPerform()
|
H A D | saigGlaPba2.c | 37 int nFramesMax; member 329 Aig_Gla3Man_t * Aig_Gla3ManStart( Aig_Man_t * pAig, int nStart, int nFramesMax, int fVerbose ) in Aig_Gla3ManStart() 495 Vec_Int_t * Aig_Gla3ManPerform( Aig_Man_t * pAig, int nStart, int nFramesMax, int nConfLimit, int T… in Aig_Gla3ManPerform()
|
H A D | saigTrans.c | 256 Aig_Man_t * Saig_ManFramesInitialMapped( Aig_Man_t * pAig, int nFrames, int nFramesMax, int fInit ) in Saig_ManFramesInitialMapped() 378 Aig_Man_t * Saig_ManTimeframeSimplify( Aig_Man_t * pAig, int nFrames, int nFramesMax, int fInit, in… in Saig_ManTimeframeSimplify()
|
H A D | saigGlaCba.c | 38 int nFramesMax; member 681 …nPerform( Aig_Man_t * pAig, Vec_Int_t * vGateClassesOld, int nStart, int nFramesMax, int nConfLimi… in Aig_Gla1ManPerform()
|
H A D | saigInd.c | 149 int Saig_ManInduction( Aig_Man_t * p, int nTimeOut, int nFramesMax, int nConfMax, int fUnique, int … in Saig_ManInduction()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswFilter.c | 382 void Ssw_SignalFilter( Aig_Man_t * pAig, int nFramesMax, int nConfMax, int nRounds, int TimeLimit, … in Ssw_SignalFilter() 473 void Ssw_SignalFilterGia( Gia_Man_t * p, int nFramesMax, int nConfMax, int nRounds, int TimeLimit, … in Ssw_SignalFilterGia()
|
H A D | sswBmc.c | 126 int Ssw_BmcDynamic( Aig_Man_t * pAig, int nFramesMax, int nConfLimit, int fVerbose, int * piFrame ) in Ssw_BmcDynamic()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int2/ |
H A D | int2.h | 55 int nFramesMax; // the max number timeframes to unroll member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/ |
H A D | int.h | 52 int nFramesMax; // the max number timeframes to unroll member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | abs.h | 49 int nFramesMax; // maximum frames member 88 int nFramesMax; // timeframes for PBA member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
H A D | fra.h | 118 int nFramesMax; // the max number of frames used for induction member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaEquiv.c | 1418 Gia_Man_t * Gia_ManSpecReduceInitFrames( Gia_Man_t * p, Abc_Cex_t * pInit, int nFramesMax, int * pn… in Gia_ManSpecReduceInitFrames()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDar.c | 3750 int Abc_NtkDarInduction( Abc_Ntk_t * pNtk, int nTimeOut, int nFramesMax, int nConfMax, int fUnique,… in Abc_NtkDarInduction()
|
H A D | abc.c | 27443 int nFramesMax; in Abc_CommandInduction() local 33327 int nFramesMax = 20; in Abc_CommandAbc9Equiv2() local 43223 …int c, nFramesMax = 1, nTimeOut = 0, fEmpty = 0, fSearch = 1, fReverse = 0, fBackTopo = 0, fDump =… in Abc_CommandAbc9ICheck() local
|