diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-28 21:06:21 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-28 21:06:21 -0800 |
commit | 3d6eac52abb1fd05a0c954f00dd5b8b855765f6e (patch) | |
tree | 87ffc62a7e9ea895d4e2915ef5c7a79117f31502 /src/base/abci/abcIf.c | |
parent | de48fd79992a5218c18da8dca62869b865a62f0e (diff) | |
download | abc-3d6eac52abb1fd05a0c954f00dd5b8b855765f6e.tar.gz abc-3d6eac52abb1fd05a0c954f00dd5b8b855765f6e.tar.bz2 abc-3d6eac52abb1fd05a0c954f00dd5b8b855765f6e.zip |
Changes to LUT mappers.
Diffstat (limited to 'src/base/abci/abcIf.c')
-rw-r--r-- | src/base/abci/abcIf.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 63fdfb15..64dc11e6 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -137,6 +137,15 @@ Abc_Ntk_t * Abc_NtkIf( Abc_Ntk_t * pNtk, If_Par_t * pPars ) if ( pPars->fPower ) Abc_NtkIfComputeSwitching( pNtk, pIfMan ); + // create DSD manager + if ( pPars->fUseDsd ) + { + If_DsdMan_t * p = (If_DsdMan_t *)Abc_FrameReadManDsd(); + assert( pPars->nLutSize <= If_DsdManVarNum(p) ); + assert( (pPars->pLutStruct == NULL && If_DsdManLutSize(p) == 0) || (pPars->pLutStruct && pPars->pLutStruct[0] - '0' == If_DsdManLutSize(p)) ); + pIfMan->pIfDsdMan = (If_DsdMan_t *)Abc_FrameReadManDsd(); + } + // perform FPGA mapping if ( !If_ManPerformMapping( pIfMan ) ) { |