Podsumowanie

Ten biały Artykuł przedstawia metodologię debugowania post-krzemowego, która w dużej mierze oznacza przewijanie lub resetowanie dobrego chipa ze słynnego zrujnowanego przy użyciu kombinacji zbierania wskazówek w czasie rzeczywistym na chipie i formalnych metod wyszukiwania w Internecie poza chipem. Prawie na pewno pewien przepływ debugowania jest dostarczany z użytecznymi adnotacjami, takimi jak zakres, niedeterminizm na chipie, a tym samym wyświetlanie opóźnienia propagacji. Ten ostrożnie gwint, który składa się z obwodu punktu przerwania o niskim obciążeniu, zapewnia środki do specjalnego wskazywania funkcji punktu przerwania bez konieczności monitorowania stanu nieskróconej matrycy. Wątek i jego sprzęt zostały przetestowane przy użyciu prototypu uniwersalnej magistrali szeregowej zawierającej procesor wyposażony w openrisc, debugujący elementy mechaniczne połączone z komputerem PC, na którym działają wyspecjalizowane algorytmy weryfikacji. Setki mikrobów pętli zostały wygenerowane przy użyciu biegłości przedstawionej w tym artykule.

Spinki do mankietów

  1. F. De Paula, M. Gort, A. Hu, S. Wilton i w konsekwencji J. Yang, „Reverse Search: Formal Analysis for Post-Silicon Debugging”, Formalmet. Zapłata. – Projekt pomocy, s. 35-44, 7 listopada