diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-12 23:23:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-12 23:23:18 -0700 |
| commit | 3880623c9b23b65659db581ade13b5996a08dba0 (patch) | |
| tree | 2b380258d83d90cb49d93618eaff98ffa41a1010 /src/base | |
| parent | 9d219eee4b8901d18b0c471205b1cec9fb1f0d1b (diff) | |
| download | abc-3880623c9b23b65659db581ade13b5996a08dba0.tar.gz abc-3880623c9b23b65659db581ade13b5996a08dba0.tar.bz2 abc-3880623c9b23b65659db581ade13b5996a08dba0.zip | |
Extending cube representation to handle SOPs with many cubes.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abc/abcFunc.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index da096741..f43186ee 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -605,12 +605,16 @@ int Abc_CountZddCubes( DdManager * dd, DdNode * zCover ) ***********************************************************************/ int Abc_NtkSopToAig( Abc_Ntk_t * pNtk ) { + extern int Abc_NtkMakeLegit( Abc_Ntk_t * pNtk ); Abc_Obj_t * pNode; Hop_Man_t * pMan; int i; assert( Abc_NtkHasSop(pNtk) ); + // make dist1-free and SCC-free +// Abc_NtkMakeLegit( pNtk ); + // start the functionality manager pMan = Hop_ManStart(); |