Microprocesador VIPER

VIPER es un diseño de microprocesador de 32 bits creado por Royal Signals and Radar Establishment (RSRE) en la década de 1980, destinado a ser utilizado en sistemas críticos para la seguridad como la aviónica . ^[1] Fue el primer diseño de microprocesador comercial que se demostró formalmente que era correcto, aunque hubo cierta controversia en torno a esta afirmación y la definición de prueba. ^[2]

El diseño se completó en 1987 e inicialmente fue implementado por RSRE en una matriz de puertas. Posteriormente, Marconi Electronics obtuvo la licencia del diseño, implementándolo como MAS1908 VIPER-1, fabricado con tecnologías CMOS y silicio sobre zafiro, que se empaqueta como un producto de matriz de rejilla de 120 pines. ^[3]

Arquitectónicamente, VIPER es un procesador de 32 bits que admite direccionamiento de memoria orientado a palabras de 20 bits y de "espacio de E / S" (y por lo tanto 4 megabytes de cada uno). Aunque se emplea un diseño de instrucción uniforme que sugiere arquitecturas RISC, los tiempos de ejecución de las instrucciones varían de 6 a 26 ciclos de reloj, en contraste con el rendimiento de una instrucción por ciclo que buscan las arquitecturas RISC convencionales. ^[3]

Un lenguaje de programación crítico para la seguridad llamado Newspeak fue diseñado por Ian Currie de RSRE en 1984 para su uso con VIPER. Su característica principal era que todo comportamiento excepcional en los programas debe tratarse en tiempo de compilación. ^[4]^[5]

Referencias

↑ Churchley, Andrew (30 de noviembre de 1991). Sistemas de protección basados en microprocesadores . Saltador. pag. 64. ISBN 9781851666119. Consultado el 23 de julio de 2012 .
^ MacKenzie, Donald (8 de agosto de 1991). "Los colmillos del VIPER". Naturaleza . 352 (6335): 467–468. Código Bibliográfico : 1991Natur.352..467M . doi : 10.1038 / 352467a0 .
↑ ^a ^b Pountain, Dick (julio de 1988). "Vía rápida versus a prueba de fallas" . BYTE . págs. 305-309 . Consultado el 24 de agosto de 2020 .
^ Currie, IF (julio de 1986). "NewSpeak: un lenguaje excepcional". Revista de Ingeniería de Software . 1 (4): 170-176. doi : 10.1049 / sej.1986.0027 . ISSN 0268-6961 .
↑ Cullyer, WJ (6 de diciembre de 2012). "Implementación de sistemas críticos de seguridad: el microprocesador VIPER". Especificación, verificación y síntesis de VLSIn . Por Birtwistle, Graham; Subrahmanyam, PA págs. 1-18. ISBN 9781461320074.

enlaces externos

MacKenzie, Donald Knowing Machines - Ensayos sobre el cambio técnico

Este artículo relacionado con microcomputadora o microprocesador es un trozo . Puedes ayudar a Wikipedia expandiéndolo .

[Churchley1991-1] Churchley, Andrew (30 de noviembre de 1991). Sistemas de protección basados en microprocesadores . Saltador. pag. 64. ISBN 9781851666119. Consultado el 23 de julio de 2012 .

[2] MacKenzie, Donald (8 de agosto de 1991). "Los colmillos del VIPER". Naturaleza . 352 (6335): 467–468. Código Bibliográfico : 1991Natur.352..467M . doi : 10.1038 / 352467a0 .

[pountain198807-3] Pountain, Dick (julio de 1988). "Vía rápida versus a prueba de fallas" . BYTE . págs. 305-309 . Consultado el 24 de agosto de 2020 .

[ieeexplore-198607-4] Currie, IF (julio de 1986). "NewSpeak: un lenguaje excepcional". Revista de Ingeniería de Software . 1 (4): 170-176. doi : 10.1049 / sej.1986.0027 . ISSN 0268-6961 .

[5] Cullyer, WJ (6 de diciembre de 2012). "Implementación de sistemas críticos de seguridad: el microprocesador VIPER". Especificación, verificación y síntesis de VLSIn . Por Birtwistle, Graham; Subrahmanyam, PA págs. 1-18. ISBN 9781461320074.

[1]