I have a netlist file that contains some bitblasted signals. I want to change the signal name like below.
And I want it to be like
and I want this to be done only for particular set of signals, otherwise I would have just removed
] and replaced
How to do it only for particular list of signals? Can somebody help me on this?