diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-26 19:01:20 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-26 19:01:20 +0700 |
| commit | 2c73723b740f45da91eadab1677cfadb286e148d (patch) | |
| tree | 0927a2f33313536944529fb290ec5d13996aa646 /src/base/wlc/wlcNdr.c | |
| parent | 04dfe7cdee109750fb70525fdd3fc39949530c43 (diff) | |
| download | abc-2c73723b740f45da91eadab1677cfadb286e148d.tar.gz abc-2c73723b740f45da91eadab1677cfadb286e148d.tar.bz2 abc-2c73723b740f45da91eadab1677cfadb286e148d.zip | |
Skip non-driven nodes during DFS.
Diffstat (limited to 'src/base/wlc/wlcNdr.c')
| -rw-r--r-- | src/base/wlc/wlcNdr.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/wlc/wlcNdr.c b/src/base/wlc/wlcNdr.c index 5f3bc12a..1adae429 100644 --- a/src/base/wlc/wlcNdr.c +++ b/src/base/wlc/wlcNdr.c @@ -469,6 +469,7 @@ Wlc_Ntk_t * Wlc_NtkFromNdr( void * pData ) assert( !fFound && i == NameId ); } //Ndr_NtkPrintNodes( pNtk ); + //Wlc_WriteVer( pNtk, "temp_ndr.v", 0, 0 ); // derive topological order pNtk = Wlc_NtkDupDfs( pTemp = pNtk, 0, 1 ); Wlc_NtkFree( pTemp ); |