diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-20 08:01:00 -0700 |
| commit | 7ff4c2b2719a78ba7d1ddcfdf9356affa291e876 (patch) | |
| tree | 0d35db4e2b0899206399cc19d73df75009d8af69 /src/base/abci/abcAbc8.c | |
| parent | b51685d6936fa397e143e1dc3b1127327325c100 (diff) | |
| download | abc-7ff4c2b2719a78ba7d1ddcfdf9356affa291e876.tar.gz abc-7ff4c2b2719a78ba7d1ddcfdf9356affa291e876.tar.bz2 abc-7ff4c2b2719a78ba7d1ddcfdf9356affa291e876.zip | |
Version abc80420
Diffstat (limited to 'src/base/abci/abcAbc8.c')
| -rw-r--r-- | src/base/abci/abcAbc8.c | 35 |
1 files changed, 33 insertions, 2 deletions
diff --git a/src/base/abci/abcAbc8.c b/src/base/abci/abcAbc8.c index b2359763..d58f6b7e 100644 --- a/src/base/abci/abcAbc8.c +++ b/src/base/abci/abcAbc8.c @@ -50,7 +50,7 @@ Nwk_Man_t * Abc_NtkToNtkNew( Abc_Ntk_t * pNtk ) int i, k; if ( !Abc_NtkIsLogic(pNtk) ) { - fprintf( stdout, "Thsi is not a logic network.\n" ); + fprintf( stdout, "This is not a logic network.\n" ); return 0; } // convert into the AIG @@ -219,7 +219,7 @@ PRT( "Time", clock() - clk ); SeeAlso [] ***********************************************************************/ -Abc_Ntk_t * Abc_NtkNtkTest( Abc_Ntk_t * pNtk, If_Lib_t * pLutLib ) +Abc_Ntk_t * Abc_NtkNtkTest4( Abc_Ntk_t * pNtk, If_Lib_t * pLutLib ) { extern int Mfx_Perform( Nwk_Man_t * pNtk, Mfx_Par_t * pPars, If_Lib_t * pLutLib ); @@ -236,6 +236,37 @@ Abc_Ntk_t * Abc_NtkNtkTest( Abc_Ntk_t * pNtk, If_Lib_t * pLutLib ) return pNtkNew; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Abc_Ntk_t * Abc_NtkNtkTest( Abc_Ntk_t * pNtk, If_Lib_t * pLutLib ) +{ + Vec_Ptr_t * vNodes; + extern Vec_Ptr_t * Nwk_ManRetimeCutForward( Nwk_Man_t * pMan, int nLatches, int fVerbose ); + extern Vec_Ptr_t * Nwk_ManRetimeCutBackward( Nwk_Man_t * pMan, int nLatches, int fVerbose ); + + Mfx_Par_t Pars, * pPars = &Pars; + Abc_Ntk_t * pNtkNew; + Nwk_Man_t * pMan; + pMan = Abc_NtkToNtkNew( pNtk ); + + vNodes = Nwk_ManRetimeCutBackward( pMan, Abc_NtkLatchNum(pNtk), 1 ); +// vNodes = Nwk_ManRetimeCutForward( pMan, Abc_NtkLatchNum(pNtk), 1 ); + Vec_PtrFree( vNodes ); + + pNtkNew = Abc_NtkFromNtkNew( pNtk, pMan ); + Nwk_ManFree( pMan ); + return pNtkNew; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |