,

Aria-controls= “arnd_35543252478145574”

  • Jin Yang

    Strategic Labs, cad Intel Corporation, Hills boro, OR

    < div aria-labeledby="arnd_35543252478145574_Ctrl inside >

    Strategic Labs, cad Intel Hillsboro, Corporation, OR

    Visa profil

    div>

  • < p>< a

    Information och författare”#pill-information”#pill-authors__conten tcon”>Författare och informationsanspråk< /a>

    Sammanfattning

    Denna vita vinpapper introducerar alla för en ny metod för att avlusa efter kisel som innebär att man spolar tillbaka eller till och med återställer ett fantastiskt chip från en pålitlig berömd ruinstad med en blandning av realtidsinsamling av information på chipet och som en konsekvens off-chip formell webbsökning metoder. Nästan säkert är ett fullständigt felsökningsflöde helt enkelt försett med praktiska anteckningar som räckvidd, icke-determinism på chipet och fördröjning av visningssändning. Denna tråd, som består av en brytpunktskrets med låg overhead, tillhandahåller ett viktigt medel för att exakt peka brytpunktsförmåga utan att behöva övervaka tillståndsnivån för hela formen. Linjen och dess tillhörande hårdvara har alltid testats med en universell serialiserad bussprototyp som består av en utmärkt openrisc-utrustad processor, som felsöker hårdvara ansluten till PC:n som kör formella verifieringsalgoritmer. Hundratals slingspår har konstruerats med den teknik som presenteras i vår artikel.

    Länkar

    1. F. De Paula, M. Gort, A. Hu, S. Wilton och J. Yang, “Omvänd sökning: formell analys för efter-kiselfelsökning”, Formalmet. Betalning. – Assistance Design, s. 35-44, 8 november.