Иванников, Виктор Петрович. Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс [Электронный ресурс] = Verifying correctness of HDL-model behavior on the basis of dynamical trace matching / В.П. Иванников, А.С. Камкин, М.М. Чупилко. — Электрон. текстовые дан. (1 файл : 521 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 2 (193). — (Конференция). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4152.pdf>.

Record create date: 6/20/2014

Subject: динамическая верификация; HDL-модели; модульная верификация; сопоставление трасс; частично-упорядоченные мультимножества

UDC: 004.415.53(045)

Collections: Общая коллекция