The author describes the development of VIPER and points out some of the practical problems encountered over the four years of the project. Informal proofs of correctness, carried out in the early stages of the project, are outlined. A peer review group criticized the lack of multiplication and division instructions in VIPER 1. This deficiency is corrected in VIPER 2, and the performance is increased to 3 MIPs.<>
Implementing high integrity systems: the VIPER microprocessor
IEEE Aerospace and Electronic Systems Magazine ; 4 , 6 ; 5-13
1989-06-01
566688 byte
Article (Journal)
Electronic Resource
English
Automotive engineering | 2003
|Alt-Viper-Sommer. Impression:Chrysler Viper
Automotive engineering | 1995
|Impression: Chrysler Viper: Alt Viper-Sommer
Online Contents | 1995
NTRS | 1993
|NTIS | 1993
|