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 |
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | All |
|
- 7-1
Access count: 831
Last 30 days: 19
