WikiDer > Микропроцессор VIPER

VIPER microprocessor

VIPER 32-битный микропроцессор дизайн создан Королевские сигналы и радиолокационная станция (RSRE) в 1980-х годах, предназначенный для использования в критически важный для безопасности такие системы как авионика.[1] Это был первый коммерческий микропроцессор, который официально доказанный правильно, хотя вокруг этого утверждения и определения доказательства были некоторые разногласия.[2]

Дизайн был завершен в 1987 году и первоначально реализован RSRE в виде вентильной матрицы. Впоследствии Marconi Electronics лицензировала эту конструкцию, реализовав ее как MAS1908 VIPER-1, изготовленную с использованием технологий CMOS и кремний-на-сапфире, упакованную в виде 120-контактного решетчатого массива.[3]

Архитектурно VIPER представляет собой 32-разрядный процессор, поддерживающий 20-разрядную адресацию памяти и «пространство ввода-вывода» (т.е. 4 мегабайта каждого). Несмотря на то, что используется единообразная компоновка команд, напоминающая архитектуры RISC, время выполнения команд варьируется от 6 до 26 тактовых циклов, в отличие от пропускной способности одной команды за цикл, требуемой в традиционных архитектурах RISC.[3]

Критически важный для безопасности язык программирования новояз был разработан Яном Карри из RSRE в 1984 году для использования с VIPER. Его основная характеристика заключалась в том, что все исключительное поведение в программах должно обрабатываться во время компиляции.[4][5]

Рекомендации

  1. ^ Черчли, Эндрю (1991-11-30). Системы защиты на базе микропроцессоров. Springer. п. 64. ISBN 9781851666119. Получено 23 июля 2012.
  2. ^ Маккензи, Дональд (8 августа 1991 г.). «Клыки VIPER». Природа. 352 (6335): 467–468. Bibcode:1991Натура.352..467М. Дои:10.1038 / 352467a0.
  3. ^ а б Понтан, Дик (июль 1988 г.). «Быстрый путь против отказоустойчивости». БАЙТ. стр. 305–309. Получено 24 августа 2020.
  4. ^ Карри, И.Ф. (Июль 1986 г.). «NewSpeak: необычный язык». Журнал программной инженерии. 1 (4): 170–176. Дои:10.1049 / sej.1986.0027. ISSN 0268-6961.
  5. ^ Каллиер, У.Дж. (06.12.2012). «Внедрение систем, критически важных для безопасности: микропроцессор VIPER». Спецификация, проверка и синтез СБИС. Бертвистл, Грэм; Субрахманьям, П. А. стр. 1–18. ISBN 9781461320074.

внешняя ссылка