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/proof/fra/fraClass.c | |
| 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/proof/fra/fraClass.c')
| -rw-r--r-- | src/proof/fra/fraClass.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/fra/fraClass.c b/src/proof/fra/fraClass.c index cef2f673..47a9e7a0 100644 --- a/src/proof/fra/fraClass.c +++ b/src/proof/fra/fraClass.c @@ -645,7 +645,7 @@ void Fra_ClassesPostprocess( Fra_Cla_t * p ) Aig_Obj_t * pObj, * pRepr, ** ppClass; int * pWeights, WeightMax = 0, i, k, c; // perform combinational simulation - pComb = Fra_SmlSimulateComb( p->pAig, 32 ); + pComb = Fra_SmlSimulateComb( p->pAig, 32, 0 ); // compute the weight of each node in the classes pWeights = ABC_ALLOC( int, Aig_ManObjNumMax(p->pAig) ); memset( pWeights, 0, sizeof(int) * Aig_ManObjNumMax(p->pAig) ); |