,

Aria-controls= “arnd_35543252478145574”

  • Jin Yang

    Laboratórios estratégicos, cad Intel Corporation, Hills boro, OU

    Laboratórios estratégicos, cad I ntel Hillsboro, Corporation, OR

    Ver perfil

  • < p>< a

    Informações e autores”#pill-information”#pill-authors__contentcon”>Autores enquanto reivindicações de informações

    Resumo

    Este branco padrão apresenta a todos a estratégia de depuração pós-silício que significa retroceder ou redefinir um chip fabuloso de uma cidade em ruínas infame usando uma combinação de coleta de informações on-chip em tempo real mais métodos de pesquisa na web formais off-chip. Quase com certeza, um fluxo de depuração completo é vendido com anotações práticas, como metragem, não determinismo no chip e atraso de propagação de exibição. Este segmento, que consiste no circuito de ponto de interrupção de baixa sobrecarga específica, fornece uma exibição para apontar precisamente as funções de ponto de interrupção sem ter que monitorar o estado de toda a matriz. O thread como seu hardware associado foi realmente testado usando um protótipo de ônibus serial universal que consiste em uma marca equipada com openrisc, hardware de depuração conectado a um PC executando algoritmos de verificação formal. Centenas de traços vinculados a loops foram gerados com a técnica apresentada neste documento importante.

    Links

    1. F. De Paula, M. Gort, A. Hu, S. Wilton e J. Yang, “Reverse Search: Formal Analysis for Post-Silicon Debugging”, Formalmet. Pagamento. – Design de assistência, pp. 35-44, 8 de novembro.