Searched refs:LevU (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSim4.c | 44 …har * pFileName1, char * pFileName2, int nWords, int nBeam, int LevL, int LevU, int fOrder, int fF… in Gia_Sim4Try() argument
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbUtil.c | 922 void Acb_NtkRunSim( char * pFileName[4], int nWords, int nBeam, int LevL, int LevU, int fOrder, int… in Acb_NtkRunSim() argument 924 …har * pFileName1, char * pFileName2, int nWords, int nBeam, int LevL, int LevU, int fOrder, int fF… in Acb_NtkRunSim() 927 …if ( Gia_Sim4Try( pFileName[0], pFileName[1], pFileName[2], nWords, nBeam, LevL, LevU, fOrder, fFa… in Acb_NtkRunSim()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abc.c | 7157 …extern void Acb_NtkRunSim( char * pFileName[4], int nWords, int nBeam, int LevL, int LevU, int fOr… in Abc_CommandRunSim() 7159 int c, nWords = 4, nBeam = 4, LevL = 0, LevU = 0, fOrder = 0, fFancy = 0, fVerbose = 0; in Abc_CommandRunSim() local 7204 LevU = atoi(argv[globalUtilOptind]); in Abc_CommandRunSim() 7206 if ( LevU < 0 ) in Abc_CommandRunSim() 7232 Acb_NtkRunSim( pFileNames, nWords, nBeam, LevL, LevU, fOrder, fFancy, fVerbose ); in Abc_CommandRunSim() 7241 Abc_Print( -2, "\t-U <num> : the upper bound on level [default = %d]\n", LevU ); in Abc_CommandRunSim()
|