Microprocesseur VIPER - VIPER microprocessor

VIPER est une conception de microprocesseur 32 bits créée par Royal Signals and Radar Establishment (RSRE) dans les années 1980, destinée à être utilisée dans des systèmes critiques pour la sécurité tels que l' avionique . C'était la première conception de microprocesseur commercial à être officiellement prouvée correcte, bien qu'il y ait eu une certaine controverse autour de cette affirmation et de la définition de la preuve.

La conception a été achevée en 1987 et mise en œuvre initialement par RSRE dans un réseau de portes. Marconi Electronics a ensuite autorisé la conception, l'implémentant sous le nom de MAS1908 VIPER-1, fabriqué à l'aide des technologies CMOS et silicium sur saphir, emballé sous la forme d'un produit de réseau de grille à 120 broches.

Sur le plan architectural, VIPER est un processeur 32 bits supportant l'adressage 20 bits de la mémoire et de «l'espace d'E / S» (et donc 4 mégaoctets chacun). Bien qu'utilisant une disposition d'instructions uniforme suggérant les architectures RISC, les temps d'exécution des instructions varient de 6 à 26 cycles d'horloge, contrairement à un débit d'une instruction par cycle recherché par les architectures RISC conventionnelles.

Un langage de programmation critique pour la sécurité nommé Newspeak a été conçu par Ian Currie de RSRE en 1984 pour être utilisé avec VIPER. Sa principale caractéristique était que tout comportement exceptionnel dans les programmes devait être traité au moment de la compilation.

Les références

Liens externes