|
Nová metoda emulace obvodu zachovávající strukturu a časování obvodu
Kafka, Leoš
Článek popisuje novou metodu emulace obvodů v FPGA, která zachovává strukturu a případně i časování obvodu s ohledem na cílovou technologii. Metoda umožňuje použít obě metody vkládání poruch, a to jak metody založené na modifikaci obvodu, tak metody založené na dynamické rekonfiguraci. K emulaci časových vlastností obvodu se používá virtuální čas. Článek dále obsahuje experimenty, které ověřují základní vlastnosti navrhované metody.
|
| |
| |
|
Design Retiming na HDL úrovni
Kafka, Leoš ; Matoušek, Rudolf
Článek se zabývá zlepšením časování obvodu pomocí úprav na vyšší úrovni popisu obvodu. Některé nástroje pro syntézu umožňují zlepšení časování, ale tyto techniky nejsou dostupné pro všechny architektury, například pro Atmel FPSLIC. Modifikace na úrovni HDL je nezávislá na použité architektuře a je tak jednou z možností, jak provést zlepšení časování i pro tyto architektury.
|
|
Injektor poruch pro TSC obvody založený na FPGA
Kafka, Leoš
Článek se zabývá simulací poruch v úplně samočinně kontrolovaných obvodech implementovaných v FPGA. Pro simulaci poruch byl použit softwarový simulátor a hardwarový injektor, využívající dynamickou rekonfiguraci pro vkládání poruch. Článek obsahuje výsledky experimentů a porovnání obou metod.
|