Details

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

Allowed Actions

Read Download (0.5 Mb)

Group Anonymous
Network Internet
Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet All
  • 7-1

Access count: 763 
Last 30 days: 5

Detailed usage statistics