diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-05 01:54:11 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-05 01:54:11 -0700 |
| commit | a762c695d7c0d953d644c0c77a2948d378d0d624 (patch) | |
| tree | cd4fc1dc5462af045e0a87ba472de15fb7e00f1f /src/base/abci/abcFxu.c | |
| parent | 7f700af6e2fff06e2cf855b4a3845eadcf66086b (diff) | |
| download | abc-a762c695d7c0d953d644c0c77a2948d378d0d624.tar.gz abc-a762c695d7c0d953d644c0c77a2948d378d0d624.tar.bz2 abc-a762c695d7c0d953d644c0c77a2948d378d0d624.zip | |
New fast extract.
Diffstat (limited to 'src/base/abci/abcFxu.c')
| -rw-r--r-- | src/base/abci/abcFxu.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcFxu.c b/src/base/abci/abcFxu.c index d6744536..b2a56a7d 100644 --- a/src/base/abci/abcFxu.c +++ b/src/base/abci/abcFxu.c @@ -83,9 +83,9 @@ int Abc_NtkFastExtract( Abc_Ntk_t * pNtk, Fxu_Data_t * p ) { assert( Abc_NtkIsLogic(pNtk) ); // if the network is already in the SOP form, it may come from BLIF file - // and it may not be SCC-ABC_FREE, in which case FXU will not work correctly + // and it may not be SCC-free, in which case FXU will not work correctly if ( Abc_NtkIsSopLogic(pNtk) ) - { // to make sure the SOPs are SCC-ABC_FREE + { // to make sure the SOPs are SCC-free // Abc_NtkSopToBdd(pNtk); // Abc_NtkBddToSop(pNtk); } |