Abstract-I detta dokument presenterar vi en strategi för felsökning hårdvarudesign som genereras av High-Level Synthesis (HLS), befria användare från bördan att identifiera signaler för att spåra och från den felbenägna uppgiften att manuellt kontrollera spåren. De nödvändiga stegen utförs efter HLS, oberoende av det och utan att påverka den syntetiserade designen. Därför bör vår metodik vara lätt att anpassa till alla HLS-verktyg. Det föreslagna tillvägagångssättet utnyttjar HLS fullt ut för att sammanställa information om tiden. Utförandet av den simulerade konstruktionen och det ursprungliga C-programmet kan jämföras, kontrollera om det finns avvikelser mellan värden på C-variabler och signaler i konstruktionen. Detektionen är helt automatiserad, det vill säga, det behöver inte någon inmatning, men programmet självt och användaren behöver inte veta något om den övergripande sammanställningsprocessen. Konstruktionen kan valideras på en viss uppsättning testfall och avvikelserna upptäcks av verktyget. Förhållanden mellan den ursprungliga källkoden på hög nivå och den genererade HDL hålls av kompilatorn och visas för användaren. Granulariteten i en sådan diskrepansanalys är per operation och omfattar de tillfälliga variabler som har införts av kompilatorn. Som en följd av detta kan designen felsökas som är, utan några begränsningar för optimeringar tillgängliga under HLS. Vi visar hur denna metod kan användas för att identifiera olika typer av fel: 1) infördes av HLS-verktyget som används för syntesen; 2) infördes med hjälp av buggy bibliotek av hårdvarukomponenter för HLS; 3) odefinierade beteende fel i den ursprungliga källkoden på hög nivå.
Diskretionsanalys är en ny teknik för att identifiera skillnader mellan programvara och maskinvaruutförande REF.
Trace-based automated logical debugging for high-level synthesis generated circuits
{'venue': '2015 33rd IEEE International Conference on Computer Design (ICCD)', 'journal': '2015 33rd IEEE International Conference on Computer Design (ICCD)', 'mag_field_of_study': ['Computer Science']}