Archives

Сообщения от Yuriy Viktorov (Intel) RSS

Верификация простейших свойств микроархитектуры: пространство состояний

Yuriy Viktorov (Intel) (6 пост(а)) 01.03.2012 10:46
Комментарии (7)

В прошлых записях я рассказывал о том, что такое коммуникационные фабрики, в чем заключаются проблемы связанные с их проектированием и верификацией, а также об использовании высокоуровневого моделирования как подхода к решению проблемы сложности. Однако, даже имея высокоуровневую модель микроархитектуры, абстрагированную от многих деталей реализации, для верификации простейших свойств такой модели требуются дополнительные усилия. В этой [...]

Продолжение ›

Категория: Intel Software Network

Качество обслуживания: Computer Networks vs. Network on Chip

Yuriy Viktorov (Intel) (6 пост(а)) 31.01.2012 16:35
Комментарии (1)

Традиционно устройства внутри микропроцессора коммутировались с помощью общей шины. С течением времени росла степень интеграции, что сопровождалось увеличением числа блоков внутри микропроцессора. При числе блоков порядка десятков и сотен, шинная архитектура соединений становится непригодной из-за ограниченной пропускной способности и масштабируемости. Современные системы межсоединений, архитектуры которых сильно зависят от области применения, объединяют под общим названием коммуникационных [...]

Продолжение ›

Категория: Intel Software Network
Метки: , , ,

Коммуникационные фабрики: анализ и оптимизация качества обслуживания

Yuriy Viktorov (Intel) (6 пост(а)) 23.12.2011 20:04
Комментарии (5)

Эта запись является продолжением записи «Коммуникационные фабрики: xMAS как подход к моделированию и верификации» Коммуникационная фабрика – это сложное распределенное устройство, решающее задачу взаимодействия агентов (отдельных функциональных блоков) в составе системы на кристалле и обеспечивающее эффективное разделение ресурсов. Для коммуникационных фабрик характерен высокий уровень параллелизма и конвейеризации, с буферизацией данных и одновременной обработкой множества транзакций, [...]

Продолжение ›

Категория: Intel Software Network
Метки: ,

Коммуникационные фабрики: xMAS как подход к моделированию и верификации

Yuriy Viktorov (Intel) (6 пост(а)) 30.11.2011 15:53
Комментарии (6)

Эта запись является продолжением записи «Коммуникационные фабрики и с чем их едят: верификация» В предыдущей части я упомянул о подходе к высокоуровневому моделированию и верификации микроархитектуры (в частности, микроархитектуры коммуникационных фабрик), разработанному моими коллегами в недрах Intel. И собирался в дальнейшем написать подробную статью о том, в чем же он заключается. Но, вероятно, эти планы будут отложены до нового года, а сейчас я ограничусь более поверхностным изложением и закончу рассказ о проблемах связанных с проектированием коммуникационных фабрик.

Продолжение ›

Категория: Intel Software Network
Метки: ,

Коммуникационные фабрики и с чем их едят: верификация

Yuriy Viktorov (Intel) (6 пост(а)) 25.10.2011 09:10
Комментарии (5)

(Эта запись является продолжением записи Коммуникационные фабрики и с чем их едят: трудности проектирования) Время выхода на рынок или Time-to-Market является одним из основных ограничений при проектировании систем на кристалле (SoC). Команды разработчиков обычно рассчитывают на использование стандартных IP блоков, которые переиспользуются во множестве продуктов, что обеспечивает малое время проектирования. Поэтому, эффективные решения в области [...]

Продолжение ›

Категория: Intel Software Network

Коммуникационные фабрики и с чем их едят – трудности проектирования

Yuriy Viktorov (Intel) (6 пост(а)) 16.09.2011 13:50
Комментарии (6)

Коммуникационные фабрики (communication fabrics) – это современный подход к построению системы внутренних соединений функциональных блоков (ядра, контроллеры разнообразных шин, интерфейсов и памяти, видеоускорители и т.п.) процессорного кристалла. Его назначение – обеспечить требуемые пропускную способность и масштабируемость архитектуры (в рамках одного семейства процессоров такие вещи, как количество ядер, наличие/отсутствие каких-то узлов и функций могут варьироваться), преодолев ограничения, свойственные другим решениям. Продолжение статьи читайте далее.

Продолжение ›

Категория: Intel Software Network, Uncategorized
Метки: , ,