Résumé

Ce blanc L’article présente à de nombreuses personnes la méthodologie de débogage post-silicium qui consiste principalement à rembobiner ou à réinitialiser une puce remarquable à partir d’une célèbre ville en ruine en utilisant une combinaison de collecte d’enregistrements sur puce en temps réel et de données Web formelles hors puce. méthodes de recherche. Il est presque certain qu’un flux de débogage effectué est fourni avec des annotations précieuses telles que la plage, le non-déterminisme sur puce et / ou le délai de propagation d’affichage. Cet endroit, qui se compose d’un circuit de point d’arrêt à faible surcharge, fournit un moyen de pointer spécifiquement les fonctions de point d’arrêt sans avoir à surveiller l’état de la toute nouvelle puce d’expérience sur le marché. Le thread et son matériel identifiable ont été testés pour générer un prototype de bus série universel composé d’un processeur équipé d’openrisc, déboguant le bus série universel connecté à un PC exécutant des algorithmes de vérification standard. Des centaines d’enregistrements de boucle ont été générés en utilisant le temps d’attente avec le présenté dans cet article.

Liens

  1. F. De Paula, M. Gort, A. Hu, S. Wilton, à J. Yang, « Recherche inversée : analyse formelle pour le débogage post-silicium », Formalmet. Paiement. – Conception d’assistance, pp. 35-44, 12 novembre.