Abstract-Säkerhet mot hårdvara Trojan som är kapabel att ändra utdatavärdet uppnås genom att använda dubbla modulära redundant (DMR) schema under hög nivå syntes (HLS). Men att bygga en DMR för trojansk säkerhet är nontrivial och ådrar sig extra fördröjning och hårdvara. I detta dokument föreslås en ny HLS-metod för begränsningsdriven lågkostnadshårdvara Trojan säkrad DMR schema design för loop-baserade kontroll dataflöde grafer (CDFGs). Föreslagen metod samtidigt utforskar ett optimalt schema och optimal loop avrullande faktor (U) kombination för en billig trojansk säkerhet medvetna DMR schema. Som ett specifikt exempel, föreslagna låg kostnad Trojan säkrad HLS metod bygger på partikel svärm optimering algoritm för att utforska optimerad Trojan säkrat schema med optimal avrullning som ger säkerhet mot specifika Trojan (som orsakar förändring i utdata) inom användaren tillhandahålls område och fördröjning begränsningar. De nya bidragen i detta dokument är, först en undersökning av en billig trojansk säkerhet medveten HLS lösning för loop-baserade CDFGs; andra, föreslagna kodningssystem för att representera design lösning som omfattar kandidat schema resurser, kandidat slinga orullande faktor och kandidat leverantör allokering information; tredje, en process för att utforska en låg kostnad leverantör uppdrag som ger trojansk säkerhet; slutligen, experimentella resultat över standardriktmärket som indikerar en genomsnittlig minskning av den slutliga kostnaden på 12% jämfört med den senaste metoden. Index Terms-High level syntes (HLS), immateriella rättigheter, loop avrullande, partikel svärm optimering (PSO), Trojan.
Dessutom tillämpas systemet med dubbla modulär redundant (DMR) för att upptäcka eventuella HT i tredje part IPs och en hög nivå syntes metod för låg kostnad DMR schemaläggning föreslås i REF.
TL-HLS: Methodology for Low Cost Hardware Trojan Security Aware Scheduling With Optimal Loop Unrolling Factor During High Level Synthesis
{'venue': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'journal': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'mag_field_of_study': ['Computer Science']}