SW che converte RTL FSM FSM di diagramma

[arp]

Salve,
Mi hanno un complesso statemachine in RTL.Voglio che la conversione di un diagramma FSM.
Esiste un sw che fa questo?con gli Stati n segnale nomi!

Grazie in anticipo