Details
Title | Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс // |
---|---|
Creators | Иванников Виктор Петрович ; Камкин Александр Сергеевич ; Чупилко Михаил Михайлович |
Collection | Общая коллекция |
Subjects | динамическая верификация ; HDL-модели ; модульная верификация ; сопоставление трасс ; частично-упорядоченные мультимножества |
UDC | 004.415.53(045) |
Document type | Article, report |
File type | |
Language | Russian |
Rights | Свободный доступ из сети Интернет (чтение, печать, копирование) |
Record key | RU\SPSTU\edoc\22036 |
Record create date | 6/20/2014 |
- 7-1
Access count: 763
Last 30 days: 5