Коммуникационные фабрики: анализ и оптимизация качества обслуживания
Эта запись является продолжением записи «Коммуникационные фабрики: xMAS как подход к моделированию и верификации»Коммуникационная фабрика – это сложное распределенное устройство, решающее задачу...
View ArticleКачество обслуживания: Computer Networks vs. Network on Chip
Традиционно устройства внутри микропроцессора коммутировались с помощью общей шины. С течением времени росла степень интеграции, что сопровождалось увеличением числа блоков внутри микропроцессора. При...
View ArticleClik here to view.
Верификация простейших свойств микроархитектуры: пространство состояний
В прошлых записях я рассказывал о том, что такое коммуникационные фабрики, в чем заключаются проблемы связанные с их проектированиеми верификацией, а также об использовании высокоуровневого...
View ArticleClik here to view.
Использование информации о структуре микроархитектурных моделей при...
Моя прошлая запись «Верификация простейших свойств микроархитектуры: пространство состояний» удостоилась ряда критических высказываний за то, что повествование велось на уровне «мышления» инструментов...
View ArticleClik here to view.
Верификация микроархитектуры: пример автоматической генерации инвариантов
Данная запись является продолжением записи «Использование информации о структуре микроархитектурных моделей при верификации: вступление». Поэтому я полагаю, что читатель уже имеет представление о языке...
View ArticleЖизнь в эпоху «тёмного» кремния.
"Жизнь в эпоху «тёмного» кремния." - это серия моих постов на Хабрахабре (часть 1, часть 2, часть 3, часть 4). В них рассказывается о том, как в современных микропроцессорных системах решаются проблемы...
View ArticleClik here to view.
Технология трехмерной интеграции.
Немногим менее года назад на прилавках магазинов появились процессоры Ivy Bridge – первые микропроцессоры, изготовленные по технологии 22нм, и, что важнее, первые, использующие «tri-gate» транзисторы....
View ArticleClik here to view.
DRAM Errors или не спешите винить Software
Когда компьютер зависает или выдает пресловутый BSOD, как правило, во всем винят программное обеспечение (а также: кривые драйвера и руки недоучившихся программистов, Microsoft и лично Билла Гейтса и...
View ArticleClik here to view.
Другая сторона 22nm: неизвестные герои Кремниевой долины
Каждые несколько лет Intel анонсирует переход на новый технологический процесс. Если сюда добавить новости от других полупроводниковых компаний, то и года не проходит, чтобы та или иная из них не...
View ArticleПрошлое, настоящее и будущее роста производительности микропроцессоров
Если вас интересует почему закончилась гонка частот, а стихийный рост числа ядер в процессорах не приводит к желаемому росту производительности, что такое More-than-Moore, или когда микропроцессоры...
View Article