Implicit FSM FSM alla conversione esplicita

[ESD_UNIVR]

Cari tutti,
esiste una procedura per convertire FSMDs implicita (sulla base delle dichiarazioni di aspettare) per FSMDs esplicite (basate su switch-dichiarazioni caso)?

Per esempio
Codice:i1

I2

i3

wait (clock = 1)

i4

i5

i6

wait (clock = 1)

i7

i8

 

[ESD_UNIVR]

Nessuno mi può aiutare?

 

[radix]

Do you know Perl, Python o Ruby?

Uno di questi linguaggi di scripting sono grandi a parsing e la manipolazione di file di testo.Sembra che non sarebbe troppo difficile da scrivere uno script per eseguire la conversione siete interessati a fare.

Radix

 

[ESD_UNIVR]

Non esiste alcuna strumenti EDA per eseguire questa trasformazione e di controllo / garantisce l'equivalenza?

 

[pra]

Non credo che alcuno strumento EDA fare questo!
Tutti i suoi elementi dipendono dal codice scritto!

Per favore fatemi sapere se qualcuno sa che c'è qualche tool EDA per fare questo

 

[ESD_UNIVR]

Non Designer HDL fare questa manipolazione?

...

Ad esempio: vi è il pulsante Converti HDL in grafica>> FSM
...ma non è sufficiente una rappresentazione esplicita FSM per estrarre la visualizzazione grafica di un FSM?