Jump to content

VIPER microprocessor

Edit links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jimvin (talk | contribs) at 16:04, 15 October 2010 (→External Links). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

VIPER is a mircoprocessor design created by Royal Signals and Radar Establishment intended for use in safety critical systems. 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.

http://www.nature.com/nature/journal/v352/n6335/abs/352467a0.html http://www.nature.com/nature/journal/v352/n6335/abs/352467a0.html

Retrieved from "https://en.wikipedia.org/w/index.php?title=VIPER_microprocessor&oldid=390899491"