Hi Pavan,
will explain the procedure and you can find out the RTLC tool commands. I will provide the PT commands and find the equivalent in RTLC.
1. If design is not so big, get all the sequential elements into List.
set b [ get_cells -hier * -filter "sequential elements" ]
2. foreach_in_coll a $b {
get_attr [get_pin $a/CLK clocks] ;Getting clock attribute on all the clocks.
}
Use TCL to store the CLK pin and corresponding Clocks .
If any of the sequential cell reports multiple clocks, then your problem is resolved.
You may need to enable multiple clock propgation varaible also to check this.
Regards,
Sam