?

Details
Table Card RUSMARC
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

Allowed Actions: Read Download (0.5 Mb)

Group: Anonymous

Network: Internet

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
-> Internet All Read Print Download

Table of Contents

  • 7-1

Usage statistics

stat Access count: 646
Last 30 days: 4
Detailed usage statistics