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 Download (0.6 Mb) You need Flash Player to read document

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

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

Document usage statistics

stat Document access count: 526
Last 30 days: 6
Detailed usage statistics