diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 11:12:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-24 11:12:51 -0700 |
| commit | 942600414dba2e32bf2529517e17eaee5991d29c (patch) | |
| tree | e58e0f65b13952d1773f11731c48a955a7068206 /src/opt/mfs | |
| parent | 12c776ed6e5a17a491fdb986ccce99649a06850e (diff) | |
| download | abc-942600414dba2e32bf2529517e17eaee5991d29c.tar.gz abc-942600414dba2e32bf2529517e17eaee5991d29c.tar.bz2 abc-942600414dba2e32bf2529517e17eaee5991d29c.zip | |
Added simulation of comb circuits with user-specified patterns in command 'sim'.
Diffstat (limited to 'src/opt/mfs')
| -rw-r--r-- | src/opt/mfs/mfsStrash.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/mfs/mfsStrash.c b/src/opt/mfs/mfsStrash.c index 6f8891b3..8b9460d4 100644 --- a/src/opt/mfs/mfsStrash.c +++ b/src/opt/mfs/mfsStrash.c @@ -390,7 +390,7 @@ double Abc_NtkConstraintRatio( Mfs_Man_t * p, Abc_Obj_t * pNode ) Fra_Sml_t * pSim; int Counter; pMan = Abc_NtkAigForConstraints( p, pNode ); - pSim = Fra_SmlSimulateComb( pMan, nSimWords ); + pSim = Fra_SmlSimulateComb( pMan, nSimWords, 0 ); Counter = Fra_SmlNodeCountOnes( pSim, Aig_ManCo(pMan, 0) ); Aig_ManStop( pMan ); Fra_SmlStop( pSim ); |