de stat problemă în condiţii de siguranţă maşină

[skycanny]

Bună tuturor baieti:
Vreau ro genera o maşină în condiţii de siguranţă declare, atunci când maşina intre într-un stat neaşteptate sau o stare de neatins, se poate recove din aceste erori de stat şi a alerga continuely.Mi-am creat o maşină de finit de stat de către VHDL, sintetizate de synplify cu atrribute "sigure", cu toate acestea, jurnalul avertizează că "alţii clauză nu este sintetizat", iar rezultatul synthesed tha este aceeaşi ca şi cea sythsized fără atributul "în condiţii de siguranţă ".Ori de câte ori am adăuga atributul "sigure" în fişierul *. SDC sau direct din sursa VHDL dosar, syplify arată avertizare menţionate mai sus.Mă refer http://www.synplicity.com/university/pdfs/designing_safe_vhdl.pdf ca ghidul meu, dar obţine acest rezultat.
Ce este greşit?cum a putea I a lua o maşină în condiţii de siguranţă de stat sintetizate de synplify?
Cel mai bun sens.

 

[FVM]

Comportamentul în condiţii de siguranţă nu este neapărat corespunde existenţa altora o stare de opinia mea.În cazul în care ALTELE de stat este recunoscut ca fiind imposibil de găsit de către AF compilator, este probabil ca eliminate cu orice alt stil FSM.Dar, din cauza opion în condiţii de siguranţă, tranziţii de la statele ilegale pentru a nu putea suporta de stat ar trebui să fie puse în aplicare.Puteţi încerca de simulare.