summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-03-13 08:18:57 +0100
committerAlan Mishchenko <alanmi@berkeley.edu>2019-03-13 08:18:57 +0100
commitd4f4d3448fe318d05cb7b02f05703e2333ed8ddb (patch)
tree96b0f31f3ab7689d1c33c4581a44c9adf521b242 /src
parente3cd1048107824bb060c9ade2b1ab66a3c219801 (diff)
downloadabc-d4f4d3448fe318d05cb7b02f05703e2333ed8ddb.tar.gz
abc-d4f4d3448fe318d05cb7b02f05703e2333ed8ddb.tar.bz2
abc-d4f4d3448fe318d05cb7b02f05703e2333ed8ddb.zip
Changing the default delay of buffers driving POs.
Diffstat (limited to 'src')
-rw-r--r--src/base/wln/wlnRetime.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/wln/wlnRetime.c b/src/base/wln/wlnRetime.c
index d1b8884c..7045527c 100644
--- a/src/base/wln/wlnRetime.c
+++ b/src/base/wln/wlnRetime.c
@@ -499,7 +499,7 @@ void Wln_NtkRetimeCreateDelayInfo( Wln_Ntk_t * pNtk )
Vec_IntErase( &pNtk->vInstIds );
if ( !Wln_NtkHasInstId(pNtk) )
{
- int iObj;
+ int i, iObj;
printf( "The design has no delay information.\n" );
Wln_NtkCleanInstId(pNtk);
Wln_NtkForEachObj( pNtk, iObj )
@@ -507,6 +507,8 @@ void Wln_NtkRetimeCreateDelayInfo( Wln_Ntk_t * pNtk )
Wln_ObjSetInstId( pNtk, iObj, 1 );
else if ( !Wln_ObjIsCio(pNtk, iObj) && Wln_ObjFaninNum(pNtk, iObj) > 0 )
Wln_ObjSetInstId( pNtk, iObj, 10 );
+ Wln_NtkForEachCo( pNtk, iObj, i )
+ Wln_ObjSetInstId( pNtk, Wln_ObjFanin0(pNtk, iObj), 1 );
printf( "Assuming user-specified delays for internal nodes.\n" );
}
}