С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

Details

Title: Анализ и верификация задержек в микроархитектуре коммуникационных фабрик: автореф. дис. … канд. техн. наук: 05.13.05
Creators: Викторов Юрий Олегович
Organization: Санкт-Петербургский государственный политехнический университет
Imprint: Санкт-Петербург, 2013
Collection: Научные работы аспирантов/докторантов; Общая коллекция
Subjects: Микропроцессоры — Архитектура; коммуникационные фабрики; верификация
UDC: 004.4'426(043.3)
Document type: Author's Abstract
File type: PDF
Language: Russian
Speciality code (OKSVNK): 05.13.05
Speciality group (OKSVNK): 050000 - Технические науки
Rights: Свободный доступ из сети Интернет (чтение, печать, копирование)

Allowed Actions: Read

Action 'Download' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

Диссертационная работа посвящена анализу моделей микроархитектуры систем на кристалле на ранних этапах разработки, с целью получения надежных оценок задержки передачи данных. Помимо задачи получения оценок решается задача их формальной верификации за малое время с использованием стандартных средств. Актуальность задачи объясняется потребностью сокращения сроков разработки и снижения стоимости систем на кристалле.

Document access rights

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

Usage statistics

stat Access count: 553
Last 30 days: 1
Detailed usage statistics