mikroprocesor VIPER
VIPER to projekt 32-bitowego mikroprocesora stworzony przez Royal Signals and Radar Establishment (RSRE) w latach 80. XX wieku, przeznaczony do stosowania w systemach o krytycznym znaczeniu dla bezpieczeństwa, takich jak awionika . Był to pierwszy komercyjny projekt mikroprocesora, którego formalnie udowodniono , że jest poprawny, chociaż istniały pewne kontrowersje wokół tego twierdzenia i definicji dowodu.
Projekt został ukończony w 1987 roku i początkowo wdrożony przez RSRE w macierzy bramek. Firma Marconi Electronics następnie udzieliła licencji na projekt, wdrażając go jako MAS1908 VIPER-1, wyprodukowany przy użyciu technologii CMOS i krzem na szafirze, zapakowany jako 120-pinowy produkt z macierzą siatkową.
Pod względem architektonicznym VIPER jest 32-bitowym procesorem obsługującym 20-bitowe adresowanie pamięci i „przestrzeni we/wy” (a zatem po 4 megabajty). Chociaż stosuje się jednolity układ instrukcji sugerujący architekturę RISC, czasy wykonania instrukcji wahają się od 6 do 26 cykli zegara, w przeciwieństwie do przepustowości jednej instrukcji na cykl wymaganej przez konwencjonalne architektury RISC.
Krytyczny dla bezpieczeństwa język programowania o nazwie Newspeak został zaprojektowany przez Iana Currie z RSRE w 1984 roku do użytku z VIPER. Jego główną cechą charakterystyczną było to, że wszystkie wyjątkowe zachowania w programach muszą być rozpatrywane w czasie kompilacji.