diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-18 08:27:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-18 08:27:05 -0700 |
| commit | 3a1032c151360c99334c559d93b0068bf4b2a3f5 (patch) | |
| tree | a7581775285b0fbc6f37b0f9538e7c9d91a8f7d2 /src/map/mio/mioFunc.c | |
| parent | 7e7ba1562e1c868bd9ece855fb309ea9a409e38d (diff) | |
| download | abc-3a1032c151360c99334c559d93b0068bf4b2a3f5.tar.gz abc-3a1032c151360c99334c559d93b0068bf4b2a3f5.tar.bz2 abc-3a1032c151360c99334c559d93b0068bf4b2a3f5.zip | |
Maintenance and updates.
Diffstat (limited to 'src/map/mio/mioFunc.c')
| -rw-r--r-- | src/map/mio/mioFunc.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/map/mio/mioFunc.c b/src/map/mio/mioFunc.c index 536f5496..c059668c 100644 --- a/src/map/mio/mioFunc.c +++ b/src/map/mio/mioFunc.c @@ -268,6 +268,11 @@ int Mio_GateParseFormula( Mio_Gate_t * pGate ) // derive truth table if ( nPins <= 6 ) pGate->uTruth = Exp_Truth6( nPins, pGate->vExpr, NULL ); + else if ( nPins <= 8 ) + { + pGate->pTruth = ABC_CALLOC( word, 4 ); + Exp_Truth8( nPins, pGate->vExpr, NULL, pGate->pTruth ); + } /* // verify |