I am using RC12 and I found after the synthesized netlist is written out, some net names contains "\", ex: \plus_77_14
I use [find / -net \\plus77_14*] and I cannot get this net since RC doesn't really take "\" as part of the net name internally.
I can only find this net with [find / -net plus77_14*]
since this "\" will only pop out when writing out netlist, I can't use change_name to remove them.
Is there any good idea to remove it except using perl to do some post processing?
Please refer to verilog LRM. Scalars with special characters HAVE to be escaped. You are asking the verilog writer to write illegal verilog hence it is not doing it. I am guessing you have your ports bit-blasted which means nets are scalar which means you end up with \ characters.
In reply to grasshopper:
I check the RTL, it did have indexing issue like wire declaired as [0:0] or index exceed its width.
Thanks for the remind.