| Аннотацiя: |
Дисертаційна робота присвячена розробці методів і алгоритмів зворотного дедуктивно-паралельного моделювання несправностей і детермінованого синтезу тестів на реконфігурованих моделях, що дозволяють на порядок зменшити час оцінки якості тестів для верифікації складних цифрових систем на стадіях автоматизованого проектування. Об'єкт дослідження - цифрова система, що реалізована в кристалах програмувальної логіки, представлена мовою опису апаратури VHDL. Предмет дослідження - структурно-функціональні моделі, методи синтезу тестів і аналізу несправностей цифрових пристроїв, представлені на системному, регістровому і вентильному рівнях опису апаратури. |
