diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-06 23:27:43 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-06 23:27:43 -0800 |
| commit | fe03f0423de9718b122d6200042ecb553520fb0f (patch) | |
| tree | 0e262dead30e9e2844b13887861ffe57d5d34e9a /src/base/wln | |
| parent | a3253767b911f02584bb0722c07c78b9527e69f2 (diff) | |
| download | abc-fe03f0423de9718b122d6200042ecb553520fb0f.tar.gz abc-fe03f0423de9718b122d6200042ecb553520fb0f.tar.bz2 abc-fe03f0423de9718b122d6200042ecb553520fb0f.zip | |
Experiments with retiming.
Diffstat (limited to 'src/base/wln')
| -rw-r--r-- | src/base/wln/wlnNdr.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/wln/wlnNdr.c b/src/base/wln/wlnNdr.c index 831d2912..012622e9 100644 --- a/src/base/wln/wlnNdr.c +++ b/src/base/wln/wlnNdr.c @@ -327,6 +327,7 @@ void Wln_NtkRetimeTest( char * pFileName ) Wln_ObjSetInstId( pNtk, iObj, 10 ); printf( "Assuming user-specified delays for internal nodes.\n" ); } +/* else { int iObj; @@ -334,10 +335,11 @@ void Wln_NtkRetimeTest( char * pFileName ) if ( !Wln_ObjIsCio(pNtk, iObj) && Wln_ObjFaninNum(pNtk, iObj) > 0 && !Wln_ObjIsFf(pNtk, iObj) ) printf( "Obj %5d : NameId = %6d InstId = %6d\n", iObj, Wln_ObjNameId(pNtk, iObj), Wln_ObjInstId(pNtk, iObj) ); } +*/ //else { Vec_Int_t * vMoves = Wln_NtkRetime( pNtk ); - Vec_IntPrint( vMoves ); + //Vec_IntPrint( vMoves ); Vec_IntFree( vMoves ); } Wln_NtkFree( pNtk ); |