< p>< a

Informatie en auteurs”#pill-information”#pill-authors__contentcon”>Auteurs en informatieclaims< /a>

Samenvatting

Deze witte paper laat je kennismaken met de post-silicium debugging-methodologie, wat meestal betekent dat je een uitstekende chip uit een beroemd verwoest stedelijk gebied moet terugspoelen of resetten met behulp van een combinatie van realtime on-chip bewustzijnsvergaring en off-chip formele wereldbolzoekmethoden. Vrijwel zeker is een uitvoeringsfoutopsporingsstroom voorzien van echte annotaties zoals bereik, niet-determinisme op de chip en bovendien weergavevertraging. Deze plaats, die bestaat uit een laag-overhead breekpuntcircuit, biedt een middel om de breekpuntfuncties volledig te richten zonder dat de toestand van het hele lichaam moet worden gecontroleerd. De thread en de bijbehorende hardware zijn getest met een prototype van een universele seriële bus, bestaande uit een met openrisc uitgeruste processor, een foutopsporingsapparaat dat is aangesloten op een pc met elementaire verificatie-algoritmen. Er zijn honderden loop-records gegenereerd met behulp van de technieken die in dit artikel worden gepresenteerd.

Links

  1. F. De Paula, M. Gort, A. Hu, S. Wilton, bovendien J. Yang, “Reverse Search: Formal Analysis for Post-Silicon Debugging”, Formalmet. Betaling. – Assistance Design, pp. 35-44, 9 nov.