| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcScorr.c | 318 Abc_Ntk_t * Abc_NtkTestScorr( char * pFileNameIn, char * pFileNameOut, int nStepsMax, int nBTLimit,… in Abc_NtkTestScorr() argument
390 pCorPars->nStepsMax = nStepsMax; in Abc_NtkTestScorr()
418 pSswPars->nStepsMax = nStepsMax; in Abc_NtkTestScorr()
|
| H A D | abcResub.c | 137 int Abc_NtkResubstitute( Abc_Ntk_t * pNtk, int nCutMax, int nStepsMax, int nLevelsOdc, int fUpdateL… in Abc_NtkResubstitute() argument
211 pFForm = Abc_ManResubEval( pManRes, pNode, vLeaves, nStepsMax, fUpdateLevel, fVerbose ); in Abc_NtkResubstitute()
|
| H A D | abcDar.c | 3314 Abc_Ntk_t * Abc_NtkDarRetime( Abc_Ntk_t * pNtk, int nStepsMax, int fVerbose ) in Abc_NtkDarRetime() argument
3326 pMan = Rtm_ManRetime( pTemp = pMan, 1, nStepsMax, fVerbose ); in Abc_NtkDarRetime()
3348 Abc_Ntk_t * Abc_NtkDarRetimeF( Abc_Ntk_t * pNtk, int nStepsMax, int fVerbose ) in Abc_NtkDarRetimeF() argument
3360 pMan = Aig_ManRetimeFrontier( pTemp = pMan, nStepsMax ); in Abc_NtkDarRetimeF()
|
| H A D | abc.c | 20590 int nStepsMax; in Abc_CommandDRetime() local
20594 extern Abc_Ntk_t * Abc_NtkDarRetime( Abc_Ntk_t * pNtk, int nStepsMax, int fVerbose ); in Abc_CommandDRetime()
20595 extern Abc_Ntk_t * Abc_NtkDarRetimeF( Abc_Ntk_t * pNtk, int nStepsMax, int fVerbose ); in Abc_CommandDRetime()
20605 nStepsMax = 100000; in Abc_CommandDRetime()
20631 nStepsMax = atoi(argv[globalUtilOptind]); in Abc_CommandDRetime()
20633 if ( nStepsMax < 0 ) in Abc_CommandDRetime()
20683 pNtkRes = Abc_NtkDarRetime( pNtk, nStepsMax, fVerbose ); in Abc_CommandDRetime()
21842 int nStepsMax; in Abc_CommandTestScorr() local
21849 nStepsMax = -1; in Abc_CommandTestScorr()
21876 nStepsMax = atoi(argv[globalUtilOptind]); in Abc_CommandTestScorr()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigRetF.c | 125 Aig_Man_t * Aig_ManRetimeFrontier( Aig_Man_t * p, int nStepsMax ) in Aig_ManRetimeFrontier() argument
187 if ( ++Counter >= nStepsMax ) in Aig_ManRetimeFrontier()
|
| H A D | aigRet.c | 834 Aig_Man_t * Rtm_ManRetime( Aig_Man_t * p, int fForward, int nStepsMax, int fVerbose ) in Rtm_ManRetime() argument
914 if ( Degree > nStepsMax ) // skip nodes with high degree in Rtm_ManRetime()
935 if ( Degree > nStepsMax ) // skip nodes with high degree in Rtm_ManRetime()
|
| H A D | aig.h | 603 extern Aig_Man_t * Rtm_ManRetime( Aig_Man_t * p, int fForward, int nStepsMax, int fVerbose );
605 extern Aig_Man_t * Aig_ManRetimeFrontier( Aig_Man_t * p, int nStepsMax );
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswCore.c | 59 p->nStepsMax = -1; // (scorr only) the max number of induction steps in Ssw_ManSetDefaultParams()
284 if ( p->pPars->nStepsMax == 0 ) in Ssw_SignalCorrespondenceRefine()
293 if ( p->pPars->nStepsMax == nIter ) in Ssw_SignalCorrespondenceRefine()
|
| H A D | ssw.h | 56 int nStepsMax; // (scorr only) the max number of induction steps member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cec.h | 145 int nStepsMax; // (scorr only) the max number of induction steps member
|
| H A D | cecCore.c | 190 p->nStepsMax = -1; // (scorr only) the max number of induction steps in Cec_ManCorSetDefaultParams()
|
| H A D | cecCorr.c | 968 if ( pPars->nStepsMax == 0 ) in Cec_ManLSCorrespondenceClasses()
977 if ( pPars->nStepsMax == r ) in Cec_ManLSCorrespondenceClasses()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigSynch.c | 405 int nStepsMax = 100; // the maximum number of simulation steps in Saig_SynchSequence() local
423 for ( s = 0; s < nStepsMax && nTerPrev > 0; s++ ) in Saig_SynchSequence()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
| H A D | aigRet.c | 849 Aig_Man_t * Rtm_ManRetime( Aig_Man_t * p, int fForward, int nStepsMax, int fVerbose ) in Rtm_ManRetime() argument
929 if ( Degree > nStepsMax ) // skip nodes with high degree in Rtm_ManRetime()
950 if ( Degree > nStepsMax ) // skip nodes with high degree in Rtm_ManRetime()
|
| /dports/math/stp/stp-2.3.3/lib/extlib-abc/ |
| H A D | aig.h | 494 extern Aig_Man_t * Rtm_ManRetime( Aig_Man_t * p, int fForward, int nStepsMax, int fVerbose );
|