Детальная информация

Название: Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс //
Авторы: Иванников Виктор Петрович; Камкин Александр Сергеевич; Чупилко Михаил Михайлович
Коллекция: Общая коллекция
Тематика: динамическая верификация; HDL-модели; модульная верификация; сопоставление трасс; частично-упорядоченные мультимножества
УДК: 004.415.53(045)
Тип документа: Статья, доклад
Тип файла: PDF
Язык: Русский
Права доступа: Свободный доступ из сети Интернет (чтение, печать, копирование)
Ключ записи: RU\SPSTU\edoc\22036

Разрешенные действия: Прочитать Загрузить (0,5 Мб)

Группа: Анонимные пользователи

Сеть: Интернет

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
-> Интернет Все Прочитать Печать Загрузить

Оглавление

  • 7-1

Статистика использования

stat Количество обращений: 644
За последние 30 дней: 2
Подробная статистика