Lorsque vous appliquez un attribut de synthèse full_case à un en-tête de la déclaration de cas, il demande aux outils d’interpréter les états non spécifiés comme des valeurs « ne s’en fichent pas ». Le logiciel Quartus® II inférer une logique supplémentaire pour représenter les états « ne s’en fichent pas ». Cette logique supplémentaire peut être différente de la logique induite par l’outil de vérification officielle, ce qui entraîne des décalages dans la vérification officielle.
Pour surmonter les décalages, définissez tous les états de la machine d’état.
Reportez-vous au chapitre PDF (Recommended HDL Coding Styles) dans le volume 1 du manuel de Quartus II pour plus d’informations sur les directives de codage des machines d’état.