diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-12 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-10-12 08:01:00 -0700 |
| commit | e2619aa120bf8166b70cec3df2740cd748b5b723 (patch) | |
| tree | c4edceba1eed1c1c5a1b0afadfcf259035715973 /src/opt/sim | |
| parent | 77536ad1fd75c6b36f268e3fbbc90860de1b229d (diff) | |
| download | abc-e2619aa120bf8166b70cec3df2740cd748b5b723.tar.gz abc-e2619aa120bf8166b70cec3df2740cd748b5b723.tar.bz2 abc-e2619aa120bf8166b70cec3df2740cd748b5b723.zip | |
Version abc51012
Diffstat (limited to 'src/opt/sim')
| -rw-r--r-- | src/opt/sim/sim.h | 2 | ||||
| -rw-r--r-- | src/opt/sim/simMan.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSat.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSeq.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSupp.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSwitch.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSym.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSymSat.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSymSim.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simSymStr.c | 2 | ||||
| -rw-r--r-- | src/opt/sim/simUtils.c | 2 |
11 files changed, 11 insertions, 11 deletions
diff --git a/src/opt/sim/sim.h b/src/opt/sim/sim.h index c561236b..74c3c22f 100644 --- a/src/opt/sim/sim.h +++ b/src/opt/sim/sim.h @@ -135,7 +135,7 @@ struct Sim_Pat_t_ }; //////////////////////////////////////////////////////////////////////// -/// MACRO DEFITIONS /// +/// MACRO DEFINITIONS /// //////////////////////////////////////////////////////////////////////// #define SIM_NUM_WORDS(n) ((n)/32 + (((n)%32) > 0)) diff --git a/src/opt/sim/simMan.c b/src/opt/sim/simMan.c index 780ecfd8..3df8ac4b 100644 --- a/src/opt/sim/simMan.c +++ b/src/opt/sim/simMan.c @@ -26,7 +26,7 @@ //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/sim/simSat.c b/src/opt/sim/simSat.c index b4e080fe..d514f7f2 100644 --- a/src/opt/sim/simSat.c +++ b/src/opt/sim/simSat.c @@ -26,7 +26,7 @@ //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/sim/simSeq.c b/src/opt/sim/simSeq.c index 2bf59f44..f6989bf7 100644 --- a/src/opt/sim/simSeq.c +++ b/src/opt/sim/simSeq.c @@ -28,7 +28,7 @@ static void Sim_SimulateSeqFrame( Vec_Ptr_t * vInfo, Abc_Ntk_t * pNtk, int iFrames, int nWords, int fTransfer ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/sim/simSupp.c b/src/opt/sim/simSupp.c index a9f0dd88..bd2db441 100644 --- a/src/opt/sim/simSupp.c +++ b/src/opt/sim/simSupp.c @@ -36,7 +36,7 @@ static void Sim_SolveTargetsUsingSat( Sim_Man_t * p, int nCounters ); static int Sim_SolveSuppModelVerify( Abc_Ntk_t * pNtk, int * pModel, int Input, int Output ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/sim/simSwitch.c b/src/opt/sim/simSwitch.c index 30377611..218d4d59 100644 --- a/src/opt/sim/simSwitch.c +++ b/src/opt/sim/simSwitch.c @@ -29,7 +29,7 @@ static void Sim_NodeSimulate( Abc_Obj_t * pNode, Vec_Ptr_t * vSimInfo, int nSimW static float Sim_ComputeSwitching( unsigned * pSimInfo, int nSimWords ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/sim/simSym.c b/src/opt/sim/simSym.c index 0635526e..71de5b05 100644 --- a/src/opt/sim/simSym.c +++ b/src/opt/sim/simSym.c @@ -26,7 +26,7 @@ //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/sim/simSymSat.c b/src/opt/sim/simSymSat.c index d9821088..7690a891 100644 --- a/src/opt/sim/simSymSat.c +++ b/src/opt/sim/simSymSat.c @@ -29,7 +29,7 @@ static int Sim_SymmsSatProveOne( Sym_Man_t * p, int Out, int Var1, int Var2, unsigned * pPattern ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/sim/simSymSim.c b/src/opt/sim/simSymSim.c index e798654f..f0bf3633 100644 --- a/src/opt/sim/simSymSim.c +++ b/src/opt/sim/simSymSim.c @@ -29,7 +29,7 @@ static void Sim_SymmsCreateSquare( Sym_Man_t * p, unsigned * pPat ); static void Sim_SymmsDeriveInfo( Sym_Man_t * p, unsigned * pPat, Abc_Obj_t * pNode, Vec_Ptr_t * vMatrsNonSym, int Output ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/sim/simSymStr.c b/src/opt/sim/simSymStr.c index c909d986..90e6056e 100644 --- a/src/opt/sim/simSymStr.c +++ b/src/opt/sim/simSymStr.c @@ -41,7 +41,7 @@ static void Sim_SymmsTransferToMatrix( Extra_BitMat_t * pMatSymm, Vec_Int_t * v static int * Sim_SymmsCreateMap( Abc_Ntk_t * pNtk ); //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* diff --git a/src/opt/sim/simUtils.c b/src/opt/sim/simUtils.c index 31baaec8..59d73412 100644 --- a/src/opt/sim/simUtils.c +++ b/src/opt/sim/simUtils.c @@ -37,7 +37,7 @@ static int bit_count[256] = { }; //////////////////////////////////////////////////////////////////////// -/// FUNCTION DEFITIONS /// +/// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* |