diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-17 17:50:10 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-17 17:50:10 -0400 |
| commit | fb12c23ad54b610c9a063991924249ef6f5e89b7 (patch) | |
| tree | 4131edf325257e7270f2ac2c039919c9aa1247fb /src/base/acb | |
| parent | fea18c2d42273f1cf100472328ba1c267ba096b3 (diff) | |
| download | abc-fb12c23ad54b610c9a063991924249ef6f5e89b7.tar.gz abc-fb12c23ad54b610c9a063991924249ef6f5e89b7.tar.bz2 abc-fb12c23ad54b610c9a063991924249ef6f5e89b7.zip | |
Logic restruturing after mapping.
Diffstat (limited to 'src/base/acb')
| -rw-r--r-- | src/base/acb/acbAbc.c | 22 | ||||
| -rw-r--r-- | src/base/acb/module.make | 1 |
2 files changed, 23 insertions, 0 deletions
diff --git a/src/base/acb/acbAbc.c b/src/base/acb/acbAbc.c index 2b07a202..7b215a56 100644 --- a/src/base/acb/acbAbc.c +++ b/src/base/acb/acbAbc.c @@ -271,6 +271,28 @@ Abc_Ntk_t * Abc_NtkOptMfse( Abc_Ntk_t * pNtk, Acb_Par_t * pPars ) return pNtkNew; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Abc_Ntk_t * Abc_NtkOptPush( Abc_Ntk_t * pNtk, int nLutSize, int fVerbose ) +{ + extern void Acb_NtkPushLogic( Acb_Ntk_t * p, int nLutSize, int fVerbose ); + Abc_Ntk_t * pNtkNew; + Acb_Ntk_t * p = Acb_NtkFromAbc( pNtk ); + Acb_NtkPushLogic( p, nLutSize, fVerbose ); + pNtkNew = Acb_NtkToAbc( pNtk, p ); + Acb_ManFree( p->pDesign ); + return pNtkNew; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// diff --git a/src/base/acb/module.make b/src/base/acb/module.make index 06affeff..46294f9f 100644 --- a/src/base/acb/module.make +++ b/src/base/acb/module.make @@ -3,5 +3,6 @@ SRC += src/base/acb/acbAbc.c \ src/base/acb/acbCom.c \ src/base/acb/acbFunc.c \ src/base/acb/acbMfs.c \ + src/base/acb/acbPush.c \ src/base/acb/acbSets.c \ src/base/acb/acbUtil.c |