Synthesis tools can't preserve all net names from RTL to netlist.
Sometime you have to figure out what's the net in RTL mapping to
netlist. It's error prone or impossible work to do it manually.
GOF provides a feature to match RTL wires to netlist. Visit the link
for more detail
http://www.nandigits.com/rtl2netlist.htm
www.nandigits.com
Netlist Debug/ECO in GUI mode.
