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/abc.c | |
| parent | 85f42d0ebddce595974b8deba419eeee95a1f69e (diff) | |
| download | abc-69643dfe9285efae78ba94ff6b75a362c9150d8a.tar.gz abc-69643dfe9285efae78ba94ff6b75a362c9150d8a.tar.bz2 abc-69643dfe9285efae78ba94ff6b75a362c9150d8a.zip | |
Version abc51120
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 11 |
1 files changed, 6 insertions, 5 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" ); |