ПОШУК ЦІЛЬОВИХ БЛОКІВ LUT В ІНФОРМАЦІЙНІЙ МОДЕЛІ FPGA-ПРИСТРОЮ В МЕЖАХ ЗАДАЧІ КОНТРОЛЮ ЦІЛІСНОСТІ ПРОГРАМНОГО КОДУ

Анотація

Розглянуто проблему забезпечення цілісності програмного коду FPGA-базованих
компонентів комп'ютерних систем. Відзначено, що перспективним напрямком контролю цілісності
компонентів такого роду є вбудовування контрольного хеша безпосередньо в програмний код у вигляді цифрового водяного знаку. Також відзначено, що одним з важливих етапів підготовки до вбудовування цифрового водяного знаку в програмний код FPGA є вибір цільових блоків LUT з інформаційної моделі FPGA-базованого пристрою. Зазначені блоки є місцем безпосереднього розміщення цифрового водяного знаку. Вибір блоків повинен провадитися з урахуванням природних обмежень і обмежень секретного ключа, використовуваного для вбудовування цифрового водяного знаку. Запропоновано формалізовану процедуру пошуку в інформаційній моделі схеми FPGA-пристрою цільових блоків LUT, призначених для безпосереднього вбудовування цифрового водяного знаку. Розглянуто підходи до програмної реалізації запропонованої процедури. Виконаний аналіз структур САПР Altera
Quartus, в середовищі якого пропонується реалізувати зазначену формалізовану процедуру. Виявлено
можливість взаємодії програмного забезпечення, що реалізує запропоновану процедуру, з САПР
Altera Quartus через відповідний API інтерфейс Quartus. Досліджена можливість отримання через
API Quartus інформацію, необхідну для побудови інформаційної моделі LUT-схем. Дістали подальшого розвитку підходи до автоматизованого аналізу структури та програмного коду FPGA-проектів з
метою контролю їх цілісності. Пропоновані в роботі формалізована процедура та програмне забезпечення, яке її реалізує, можуть знайти застосування для організації підсистеми підготовки даних в
рамках системи контролю цілісності програмного коду мікросхем FPGA.