Рассматривается верификация сложных многуровневых систем на примере САПР специализированных вычислителей. Используются методы тестирования на основе свойств (Property Based Tesing - PBT), функциональное программирование, логическая симуляция цифровых схем. Проверяется соответствие между моделями вычислительных блоков в составе САПР и их аппаратной реализацией.

Прохоров Д.А., Вахвиянова П.Д. (науч. рук. Пенской А.В.) Верификация работы системы автоматического проектирования специализированных вычислителей // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. URL: https://kmu.itmo.ru/digests/article/3788