Français
Menu

Flot de conception de circuits intégrés et EDA

Quelle méthode décrit les propriétés que la conception doit satisfaire (par exemple « répondre en 3 cycles au plus après une requête ») et les fait vérifier automatiquement en simulation ou en vérification formelle ?

  1. ADécoupe furtive (stealth dicing)
  2. BVérification par assertions
  3. CRemplissage factice (dummy fill)
Afficher la réponse et l'explication

Réponse : B. Vérification par assertions

Une assertion décrit une propriété que le circuit doit toujours satisfaire ou une relation temporelle entre signaux. Les violations peuvent être détectées automatiquement en simulation ou prouvées mathématiquement en vérification formelle, ce qui permet de trouver les défauts tôt et près de leur origine. Les omissions sont moins nombreuses qu'avec une inspection visuelle des formes d'onde. On les écrit par exemple en SystemVerilog Assertions (SVA). La découpe furtive et le remplissage factice sont des techniques de fabrication.

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

Autres questions sur Flot de conception de circuits intégrés et EDA

  1. En conception basse consommation, quel format standard décrit séparément de la description du circuit l'« intention d'alimentation » : domaines d'alimentation, coupure d'alimentation, translateurs de niveau, etc. ?
  2. Comment appelle-t-on la vérification, par un outil dédié, de la présence correcte de circuits de synchronisation aux points de transfert de signaux entre circuits fonctionnant sur des horloges différentes ?
  3. Comment appelle-t-on l'intégration d'une petite correction découverte en fin de conception ou en cours de fabrication par une modification partielle du layout existant, sans refaire toute la conception ?
  4. Dans le placement des cellules standard, quelle combinaison correspond aux cellules sans fonction logique (ou auxiliaires) placées pour combler les espaces entre cellules, fixer le potentiel des caissons ou atténuer le bruit d'alimentation ?
  5. Comment appelle-t-on le travail consistant à simuler le délai et la consommation des cellules standard sous diverses conditions de temps de transition d'entrée, de capacité de charge, de tension et de température, et à les compiler en tables ?

Comparatifs sur ce thème