VIPER microprocessor
id:
viper-microprocessor-244-7407269
title:
VIPER microprocessor
text:
VIPER is a 32-bit microprocessor design created by Royal Signals and Radar Establishment (RSRE) in the 1980s, intended to be used in safety-critical systems such as avionics. It was the first commercial microprocessor design to be formally proven correct, although there was some controversy surrounding this claim and the definition of proof. The design was completed in 1987 and implemented initially by RSRE in a gate array. Marconi Electronics subsequently licensed the design, implementing it as
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/VIPER_microprocessor
date created:
date modified:
2023-10-10T10:57:20Z
main entity:
{"identifier":"Q7907035","url":"https://www.wikidata.org/entity/Q7907035"}
image:
fields total:
13
integrity:
13