diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-11-20 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-11-20 08:01:00 -0800 |
commit | 69643dfe9285efae78ba94ff6b75a362c9150d8a (patch) | |
tree | 4a7d4f5278ecd6f1b07e22ff4f551ab4e2e0da6e /src/base/abci | |
parent | 85f42d0ebddce595974b8deba419eeee95a1f69e (diff) | |
download | abc-69643dfe9285efae78ba94ff6b75a362c9150d8a.tar.gz abc-69643dfe9285efae78ba94ff6b75a362c9150d8a.tar.bz2 abc-69643dfe9285efae78ba94ff6b75a362c9150d8a.zip |
Version abc51120
Diffstat (limited to 'src/base/abci')
-rw-r--r-- | src/base/abci/abc.c | 11 | ||||
-rw-r--r-- | src/base/abci/abcCut.c | 2 |
2 files changed, 7 insertions, 6 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index d67daacc..8c939083 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -4474,6 +4474,8 @@ int Abc_CommandPga( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } + printf( "This command is not yet implemented.\n" ); + return 0; if ( !Abc_NtkIsStrash(pNtk) ) { @@ -4848,7 +4850,7 @@ int Abc_CommandUnseq( Abc_Frame_t * pAbc, int argc, char ** argv ) // share the latches on the fanout edges if ( fShare ) - Seq_NtkSeqShareFanouts(pNtk); + Seq_NtkShareFanouts(pNtk); // get the new network pNtkRes = Abc_NtkSeqToLogicSop( pNtk ); @@ -4971,7 +4973,6 @@ int Abc_CommandSeqFpga( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Ntk_t * pNtk, * pNtkRes; int c; int fVerbose; - extern Abc_Ntk_t * Abc_NtkFpgaSeq( Abc_Ntk_t * pNtk, int fVerbose ); pNtk = Abc_FrameReadNet(pAbc); pOut = Abc_FrameReadOut(pAbc); @@ -5006,12 +5007,12 @@ int Abc_CommandSeqFpga( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } - printf( "This command is not yet implemented.\n" ); - return 0; +// printf( "This command is not yet implemented.\n" ); +// return 0; // get the new network - pNtkRes = Abc_NtkFpgaSeq( pNtk, fVerbose ); + pNtkRes = Seq_NtkFpgaMapRetime( pNtk, fVerbose ); if ( pNtkRes == NULL ) { fprintf( pErr, "Sequential FPGA mapping has failed.\n" ); diff --git a/src/base/abci/abcCut.c b/src/base/abci/abcCut.c index f9be9cc5..8bc2c9b4 100644 --- a/src/base/abci/abcCut.c +++ b/src/base/abci/abcCut.c @@ -193,7 +193,7 @@ Cut_Man_t * Abc_NtkSeqCuts( Abc_Ntk_t * pNtk, Cut_Params_t * pParams ) // start the manager pParams->nIdsMax = Abc_NtkObjNumMax( pNtk ); - pParams->nCutSet = pNtk->vLats->nSize; + pParams->nCutSet = Abc_NtkCutSetNodeNum( pNtk ); p = Cut_ManStart( pParams ); // set cuts for PIs |