SW, který konvertuje RTL FSM na diagramu FSM

[arp]

Ahoj,
Mám komplex statemachine v RTL.Chci převést, že se diagram FSM.
Existuje nějaký SW, který bude dělat to?se státy signálu názvy n!

Díky předem