diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-05-14 13:12:17 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-05-14 13:12:17 -0700 |
| commit | 37b6b5f1f8a46d6f233a352b8874352fc5097dbe (patch) | |
| tree | c3ce06bc23249084943d1c94584733fc82a92c74 | |
| parent | a39ef307081a98a99cdac80dab7f213392c1debb (diff) | |
| download | abc-37b6b5f1f8a46d6f233a352b8874352fc5097dbe.tar.gz abc-37b6b5f1f8a46d6f233a352b8874352fc5097dbe.tar.bz2 abc-37b6b5f1f8a46d6f233a352b8874352fc5097dbe.zip | |
Making sure 0-input LUTs are supported by the DSD matching code.
| -rw-r--r-- | src/base/abc/abcHieCec.c | 2 | ||||
| -rw-r--r-- | src/base/abc/abcHieNew.c | 2 | ||||
| -rw-r--r-- | src/map/if/ifTune.c | 10 |
3 files changed, 7 insertions, 7 deletions
diff --git a/src/base/abc/abcHieCec.c b/src/base/abc/abcHieCec.c index 83683398..d9f413e8 100644 --- a/src/base/abc/abcHieCec.c +++ b/src/base/abc/abcHieCec.c @@ -642,7 +642,7 @@ int Abc_NtkCheckRecursive( Abc_Ntk_t * pNtk ) Abc_NtkForEachObj( pModel, pObj, k ) if ( Abc_ObjIsBox(pObj) && pObj->pData == (void *)pModel ) { - printf( "WARNING: Model \"%s\" contains a recursive defition.\n", Abc_NtkName(pModel) ); + printf( "WARNING: Model \"%s\" contains a recursive definition.\n", Abc_NtkName(pModel) ); RetValue = 1; break; } diff --git a/src/base/abc/abcHieNew.c b/src/base/abc/abcHieNew.c index db619260..d50c274e 100644 --- a/src/base/abc/abcHieNew.c +++ b/src/base/abc/abcHieNew.c @@ -676,7 +676,7 @@ int Au_NtkCheckRecursive( Au_Ntk_t * pNtk ) Au_NtkForEachObj( pModel, pObj, k ) if ( Au_ObjIsBox(pObj) && Au_ObjModel(pObj) == pModel ) { - printf( "WARNING: Model \"%s\" contains a recursive defition.\n", Au_NtkName(pModel) ); + printf( "WARNING: Model \"%s\" contains a recursive definition.\n", Au_NtkName(pModel) ); RetValue = 1; break; } diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index c55e97d2..d4e336ed 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -400,15 +400,15 @@ int Ifn_NtkParseInt2( char * pStr, Ifn_Ntk_t * p ) else if ( pStr[k+2] == '{' ) p->Nodes[i].Type = IFN_DSD_PRIME, Next = '}'; else - return Ifn_ErrorMessage( "Cannot find openning operation symbol in the defition of of signal \'%c\'.\n", 'a' + i ); + return Ifn_ErrorMessage( "Cannot find openning operation symbol in the definition of signal \'%c\'.\n", 'a' + i ); for ( n = k + 3; pStr[n]; n++ ) if ( pStr[n] == Next ) break; if ( pStr[n] == 0 ) - return Ifn_ErrorMessage( "Cannot find closing operation symbol in the defition of of signal \'%c\'.\n", 'a' + i ); + return Ifn_ErrorMessage( "Cannot find closing operation symbol in the definition of signal \'%c\'.\n", 'a' + i ); nFans = n - k - 3; - if ( nFans < 1 || nFans > 8 ) - return Ifn_ErrorMessage( "Cannot find matching operation symbol in the defition of of signal \'%c\'.\n", 'a' + i ); + if ( nFans > 8 ) + return Ifn_ErrorMessage( "Cannot find matching operation symbol in the definition of signal \'%c\'.\n", 'a' + i ); for ( f = 0; f < nFans; f++ ) { iFan = pStr[k + 3 + f] - 'a'; @@ -524,7 +524,7 @@ Gia_Man_t * Ifn_ManStrFindModel( Ifn_Ntk_t * p ) { int n, Step, pVarsData[256]; int nMints = (1 << nFans); - assert( nFans >= 1 && nFans <= 8 ); + assert( nFans >= 0 && nFans <= 8 ); for ( k = 0; k < nMints; k++ ) pVarsData[k] = pVarMap[iFanin + k]; for ( Step = 1, k = 0; k < nFans; k++, Step <<= 1 ) |