From 942600414dba2e32bf2529517e17eaee5991d29c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 24 Aug 2012 11:12:51 -0700 Subject: Added simulation of comb circuits with user-specified patterns in command 'sim'. --- src/proof/fra/fra.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/proof/fra/fra.h') diff --git a/src/proof/fra/fra.h b/src/proof/fra/fra.h index 1690b463..b1fdb539 100644 --- a/src/proof/fra/fra.h +++ b/src/proof/fra/fra.h @@ -371,8 +371,9 @@ extern void Fra_SmlSimulate( Fra_Man_t * p, int fInit ); extern void Fra_SmlResimulate( Fra_Man_t * p ); extern Fra_Sml_t * Fra_SmlStart( Aig_Man_t * pAig, int nPref, int nFrames, int nWordsFrame ); extern void Fra_SmlStop( Fra_Sml_t * p ); +extern Fra_Sml_t * Fra_SmlSimulateComb( Aig_Man_t * pAig, int nWords, int fCheckMiter ); +extern Fra_Sml_t * Fra_SmlSimulateCombGiven( Aig_Man_t * pAig, char * pFileName, int fCheckMiter, int fVerbose ); extern Fra_Sml_t * Fra_SmlSimulateSeq( Aig_Man_t * pAig, int nPref, int nFrames, int nWords, int fCheckMiter ); -extern Fra_Sml_t * Fra_SmlSimulateComb( Aig_Man_t * pAig, int nWords ); extern Abc_Cex_t * Fra_SmlGetCounterExample( Fra_Sml_t * p ); extern Abc_Cex_t * Fra_SmlCopyCounterExample( Aig_Man_t * pAig, Aig_Man_t * pFrames, int * pModel ); -- cgit v1.2.3