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