Eftersom kiselteknologiska skalor, moderna processorer och inbyggda system snabbt flyttas till komplexa chip multi-processor (CMP) och system-on-chip (SoC) konstruktioner, som består av flera processorkärnor och IP-komponenter som kommunicerar via ett nätverk-onchip (NoC). Som en bieffekt av denna trend har det blivit allt mer problematiskt att se till att de är korrekta. I synnerhet networkon-chip ofta innehåller komplexa funktioner och komponenter för att stödja den nödvändiga kommunikationsbandbredden bland noderna i systemet. I detta landskap, är det inte konstigt att designfel i NoC kan gå oupptäckt och fly in i den slutliga kisel, med potentiella skadliga effekter på det övergripande systemet. I detta arbete föreslår vi ForEVeR, en lösning som kompletterar användningen av formella metoder och körtidskontroll för att säkerställa funktionell korrekthet i NoCs. Formell kontroll, på grund av skalbarhetsbegränsningarna, används för att kontrollera de mindre modulerna, t.ex. enskilda routerkomponenter. Vi kompletterar skyddet mot förrymda konstruktionsfel med en runtime-teknik, en feldetekterings- och återvinningslösning på nätverksnivå, som övervakar trafiken i NoC och skyddar den mot förrymda funktionsfel som påverkar kommunikationsvägarna i nätverket. För detta ändamål förstärker ForEVeR utgångsvärdet NoC med ett lätt kontrollnätverk som i förväg varnar destinationsnoder för inkommande paket. Om ett fel upptäcks, vilket flaggas av missade paketankomster, levererar en återställningsmekanism uppgifterna under flygning på ett säkert sätt till den avsedda destinationen via kontrollnätverket. ForEVeR:s experimentella utvärdering visar att den kan återhämta sig från konstruktionsfel i NoC till endast 4,8 % arealkostnad för en sammanlänkning med 8x8 mesh, med en återvinningskostnad på mindre än 30K cykler per funktionell felmanifestering. Dessutom medför det inga prestanda overhead i avsaknad av fel.
Den ForEVer algoritm REF, tillämpar formella metoder och körtid verifiering för att säkerställa funktionell korrekthet i NoCs.
Formally enhanced runtime verification to ensure NoC functional correctness
{'venue': 'MICRO-44', 'journal': None, 'mag_field_of_study': ['Computer Science']}