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