HDL et vérification

Quel est l'objectif principal d'une simulation avec informations de délai sur le circuit après synthèse logique ou placement-routage (netlist au niveau portes) ?

  1. AExécuter de nombreux tests plus vite qu'en simulation RTL
  2. BVérifier des problèmes invisibles en simulation RTL : défauts d'initialisation ou de réinitialisation, écarts dus à la synthèse, problèmes liés aux délais
  3. CRéduire la surface du circuit
Afficher la réponse et l'explication

Réponse : B. Vérifier des problèmes invisibles en simulation RTL : défauts d'initialisation ou de réinitialisation, écarts dus à la synthèse, problèmes liés aux délais

La simulation RTL est rapide, mais elle ne détecte pas les problèmes de valeurs indéterminées masqués par l'optimisme X, ni les cas où la synthèse produit un circuit différent de la description. La simulation au niveau portes vérifie le fonctionnement avec les portes et bascules réellement produites ; en fournissant au format SDF les délais de chaque porte et fil, les problèmes liés aux délais deviennent aussi visibles. Très lente, elle n'est généralement pratiquée que sur un nombre limité de tests.

S'entraîner sur ce thème Retour au thème

Autres questions sur HDL et vérification

  1. Comment appelle-t-on la forme ci-dessus, où la sortie d'un circuit combinatoire revient à sa propre entrée sans passer par une bascule, et pourquoi faut-il l'éviter ?
  2. Comment la description ci-dessus est-elle généralement traitée lors de la synthèse logique pour FPGA ?
  3. Pour un circuit combinatoire, quelle comparaison est correcte entre une longue chaîne de if/else if et une instruction case à conditions mutuellement exclusives ?
  4. Quelle est la différence entre les opérateurs d'égalité « == » et « === » en Verilog ?
  5. Quelle est la grande différence entre une description en HDL comme Verilog et un programme logiciel en C ou autre ?

Comparatifs sur ce thème