ya you can do it........but if you have symbol library
it will show you at gate level netlist ....
what are you doing in RTL you can do iwith Netlist also
Novas has one more tool.....which called slioti ....
which you enable to correlate RTL with Netlist