From 2e14b73af6c0cbf6fb612cd9ab19f97689733600 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 22 Feb 2013 13:49:07 -0800
Subject: Allowing for Verilog names of the type slash-<name>-space-[N].

---
 src/misc/util/utilNam.c | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'src/misc')

diff --git a/src/misc/util/utilNam.c b/src/misc/util/utilNam.c
index 7b8ea738..ccea6322 100644
--- a/src/misc/util/utilNam.c
+++ b/src/misc/util/utilNam.c
@@ -359,9 +359,15 @@ int Abc_NamStrFind( Abc_Nam_t * p, char * pStr )
 ***********************************************************************/
 int Abc_NamStrFindOrAdd( Abc_Nam_t * p, char * pStr, int * pfFound )
 {
-    int iHandleNew;
+    int i, iHandleNew;
     int *piPlace;
-    assert( pStr[0] != '\\' || pStr[strlen(pStr)-1] == ' ' );
+    if ( !(pStr[0] != '\\' || pStr[strlen(pStr)-1] == ' ') )
+    {
+        for ( i = strlen(pStr) - 1; i >= 0; i-- )
+            if ( *pStr == ' ' )
+                break;
+        assert( i < (int)strlen(pStr) );
+    }
     piPlace = Abc_NamStrHashFind( p, pStr );
     if ( *piPlace )
     {
-- 
cgit v1.2.3