diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-22 20:20:19 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-22 20:20:19 +0700 |
commit | 76447062ccb56fc8c221942bcd11645ff88d4821 (patch) | |
tree | 4ed984f5ff70e33baf33b90bd54d05c88eb1304b /src/aig/ssw/ssw.h | |
parent | 5b71a8f849a622160632860c5f5c2c22b3a072cb (diff) | |
download | abc-76447062ccb56fc8c221942bcd11645ff88d4821.tar.gz abc-76447062ccb56fc8c221942bcd11645ff88d4821.tar.bz2 abc-76447062ccb56fc8c221942bcd11645ff88d4821.zip |
Adding &equiv3, a new way of refining equivalence classes.
Diffstat (limited to 'src/aig/ssw/ssw.h')
-rw-r--r-- | src/aig/ssw/ssw.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/ssw/ssw.h b/src/aig/ssw/ssw.h index 6f453041..3870d4ff 100644 --- a/src/aig/ssw/ssw.h +++ b/src/aig/ssw/ssw.h @@ -116,6 +116,7 @@ extern int Ssw_SecWithPairs( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Vec extern int Ssw_SecGeneral( Aig_Man_t * pAig1, Aig_Man_t * pAig2, Ssw_Pars_t * pPars ); extern int Ssw_SecGeneralMiter( Aig_Man_t * pMiter, Ssw_Pars_t * pPars ); /*=== sswRarity.c ===================================================*/ +extern int Ssw_RarSignalFilter( Aig_Man_t * pAig, int nFrames, int nWords, int nBinSize, int nRounds, int TimeOut, Abc_Cex_t * pCex, int fLatchOnly, int fVerbose ); extern int Ssw_RarSimulate( Aig_Man_t * pAig, int nFrames, int nWords, int nBinSize, int nRounds, int TimeOut, int fVerbose ); /*=== sswSim.c ===================================================*/ extern Ssw_Sml_t * Ssw_SmlSimulateComb( Aig_Man_t * pAig, int nWords ); |