Верификация микроархитектуры: пример автоматической генерации инвариантов
Данная запись является продолжением записи «Использование информации о структуре микроархитектурных моделей при верификации: вступление». Поэтому я полагаю, что читатель уже имеет представление о языке...
View ArticleИспользование информации о структуре микроархитектурных моделей при...
Моя прошлая запись «Верификация простейших свойств микроархитектуры: пространство состояний» удостоилась ряда критических высказываний за то, что повествование велось на уровне «мышления» инструментов...
View ArticleВерификация простейших свойств микроархитектуры: пространство состояний
В прошлых записях я рассказывал о том, что такое коммуникационные фабрики, в чем заключаются проблемы связанные с их проектированиеми верификацией, а также об использовании высокоуровневого...
View ArticleКачество обслуживания: Computer Networks vs. Network on Chip
Традиционно устройства внутри микропроцессора коммутировались с помощью общей шины. С течением времени росла степень интеграции, что сопровождалось увеличением числа блоков внутри микропроцессора. При...
View ArticleКоммуникационные фабрики: анализ и оптимизация качества обслуживания
Эта запись является продолжением записи «Коммуникационные фабрики: xMAS как подход к моделированию и верификации»
View ArticleКоммуникационные фабрики: xMAS как подход к моделированию и верификации
Эта запись является продолжением записи «Коммуникационные фабрики и с чем их едят: верификация»
View ArticleКоммуникационные фабрики и с чем их едят: верификация
(Эта запись является продолжением записи Коммуникационные фабрики и с чем их едят: трудности проектирования)Время выхода на рынок или Time-to-Market является одним из основных ограничений при...
View ArticleМой идеальный компьютер
Это, наверное, какая-то злая шутка. "Компьютер"Джона фон Неймана по сути одномерный. Чипы на сегодняшний день научились делать на двумерной подложке, и это продолжается уже *дцать лет.А почему не...
View ArticleКоммуникационные фабрики и с чем их едят – трудности проектирования
Если у человека, далекого от компьютерной индустрии, спросить, что находится внутри процессора, ответ, скорее всего, ограничится словами «компьютерные мозги». Человек, которому эта тема ближе, назовет...
View ArticleОтчёт по использованию Intel® MTL
Евгений Калишенко, Санкт-Петербургский Электротехнический университет, Академический университет РАН.Профессорский составСтуденты
View ArticleКоммуникационные фабрики: анализ и оптимизация качества обслуживания
Эта запись является продолжением записи «Коммуникационные фабрики: 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