Підвищення тестопридатності часових автоматів Мура

Анотація

У роботі запропоновано метод проектування тестопридатних цифрових пристроїв реального часу, представлених у вигляді скінчених автоматів та описаних за допомогою мов опису апаратури (Hardware Description Languages, HDL).

Актуальність. Актуальність роботи полягає у можливості діагностування цифрових пристроїв реального часу під час активної експлуатації.

Методи дослідження. Основним методом дослідження є представлення апаратної надлишковості у вигляді додаткових HDL конструкцій у коді опису пристрою та додаткових дуг на графі переходів.

Результати. Моделювання легктотестованого автомата реального часу підтвердило працездатність запропонованого підходу. Результати синтезу за допомогою САПР Xilinx ISE показали, що додаткові апаратні витрати не перевищують 20% порівняно з канонічною моделлю опису.

Висновки. Вирішено задачу проектування тестопридатних пристроїв реального часу на базі легкотестованих автоматів Мура. Запропонований метод дозволяє встановлювати автомат у довільний стан за фіксований час. Такий підхід дозволяє значно спростити процес проведення діагности пристрою.

Наукова новизна даної роботи полягає в розробці підходів і методів створення тестопридатних HDL моделей часових автоматів та їх комбінування шляхом модифікації HDL опису цільового пристрою. Такі методи можна інтегрувати в системи САПР, що дозволяє скоротити загальний час проектування та верифікації.