Details
| Title | Анализ и верификация задержек в микроархитектуре коммуникационных фабрик: автореф. дис. … канд. техн. наук: 05.13.05 |
|---|---|
| Creators | Викторов Юрий Олегович |
| Organization | Санкт-Петербургский государственный политехнический университет |
| Imprint | Санкт-Петербург, 2013 |
| Collection | Научные работы аспирантов/докторантов; Общая коллекция |
| Subjects | Микропроцессоры — Архитектура; коммуникационные фабрики; верификация |
| UDC | 004.4'426(043.3) |
| Document type | Author's Abstract |
| File type | |
| Language | Russian |
| Speciality code (OKSVNK) | 05.13.05 |
| Speciality group (OKSVNK) | 050000 - Технические науки |
| Rights | Свободный доступ из сети Интернет (чтение, печать, копирование) |
| Record key | RU\SPSTU\edoc\21260 |
| Record create date | 3/4/2014 |
Диссертационная работа посвящена анализу моделей микроархитектуры систем на кристалле на ранних этапах разработки, с целью получения надежных оценок задержки передачи данных. Помимо задачи получения оценок решается задача их формальной верификации за малое время с использованием стандартных средств. Актуальность задачи объясняется потребностью сокращения сроков разработки и снижения стоимости систем на кристалле.
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | All |
|
Access count: 970
Last 30 days: 16
