diff options
Diffstat (limited to 'src/opt/fsim/fsimCore.c')
-rw-r--r-- | src/opt/fsim/fsimCore.c | 88 |
1 files changed, 88 insertions, 0 deletions
diff --git a/src/opt/fsim/fsimCore.c b/src/opt/fsim/fsimCore.c new file mode 100644 index 00000000..9516f09e --- /dev/null +++ b/src/opt/fsim/fsimCore.c @@ -0,0 +1,88 @@ +/**CFile**************************************************************** + + FileName [fsimCore.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [Fast sequential AIG simulator.] + + Synopsis [Core procedures.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: fsimCore.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "fsimInt.h" + +ABC_NAMESPACE_IMPL_START + + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [This procedure sets default parameters.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Fsim_ManSetDefaultParamsSim( Fsim_ParSim_t * p ) +{ + memset( p, 0, sizeof(Fsim_ParSim_t) ); + // user-controlled parameters + p->nWords = 8; // the number of machine words + p->nIters = 32; // the number of timeframes + p->TimeLimit = 60; // time limit in seconds + p->fCheckMiter = 0; // check if miter outputs are non-zero + p->fVerbose = 1; // enables verbose output + // internal parameters + p->fCompressAig = 0; // compresses internal data +} + +/**Function************************************************************* + + Synopsis [This procedure sets default parameters.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Fsim_ManSetDefaultParamsSwitch( Fsim_ParSwitch_t * p ) +{ + memset( p, 0, sizeof(Fsim_ParSwitch_t) ); + // user-controlled parameters + p->nWords = 1; // the number of machine words + p->nIters = 48; // the number of timeframes + p->nPref = 16; // the number of first timeframes to skip + p->nRandPiNum = 0; // PI trans prob (0=1/2; 1=1/4; 2=1/8, etc) + p->fProbOne = 1; // collect probability of one + p->fProbTrans = 1; // collect probatility of switching + p->fVerbose = 1; // enables verbose output +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |