Details

Title: Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 2 (193)
Creators: Иванников Виктор Петрович; Камкин Александр Сергеевич; Чупилко Михаил Михайлович
Organization: Министерство образования и науки Российской Федерации
Imprint: Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
Collection: Общая коллекция
Subjects: динамическая верификация; HDL-модели; модульная верификация; сопоставление трасс; частично-упорядоченные мультимножества
UDC: 004.415.53(045)
Document type: Article, report
File type: PDF
Language: Russian
Rights: Свободный доступ из сети Интернет (чтение, печать, копирование)

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 Authorized users Read Print Download
-> Internet Anonymous Read Print Download

Table of Contents

  • 7-1

Usage statistics

stat Access count: 456
Last 30 days: 3
Detailed usage statistics