Детальная информация
| Название | Анализ и верификация задержек в микроархитектуре коммуникационных фабрик: автореф. дис. … канд. техн. наук: 05.13.05 |
|---|---|
| Авторы | Викторов Юрий Олегович |
| Организация | Санкт-Петербургский государственный политехнический университет |
| Выходные сведения | Санкт-Петербург, 2013 |
| Коллекция | Научные работы аспирантов/докторантов; Общая коллекция |
| Тематика | Микропроцессоры — Архитектура; коммуникационные фабрики; верификация |
| УДК | 004.4'426(043.3) |
| Тип документа | Автореферат |
| Тип файла | |
| Язык | Русский |
| Код специальности ОКСВНК | 05.13.05 |
| Группа специальностей ОКСВНК | 050000 - Технические науки |
| Права доступа | Свободный доступ из сети Интернет (чтение, печать, копирование) |
| Ключ записи | RU\SPSTU\edoc\21260 |
| Дата создания записи | 04.03.2014 |
Диссертационная работа посвящена анализу моделей микроархитектуры систем на кристалле на ранних этапах разработки, с целью получения надежных оценок задержки передачи данных. Помимо задачи получения оценок решается задача их формальной верификации за малое время с использованием стандартных средств. Актуальность задачи объясняется потребностью сокращения сроков разработки и снижения стоимости систем на кристалле.
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Все |
|
Количество обращений: 972
За последние 30 дней: 18
