DocumentCode
1169355
Title
Implementing high integrity systems: the VIPER microprocessor
Author
Cullyer, W.J.
Author_Institution
Dept. of Eng., Warwick Univ., Coventry, UK
Volume
4
Issue
6
fYear
1989
fDate
6/1/1989 12:00:00 AM
Firstpage
5
Lastpage
13
Abstract
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.<>
Keywords
computer architecture; microprocessor chips; military systems; performance evaluation; program verification; VIPER microprocessor; computer architecture; microprocessor chips; performance evaluation; program verification; Aerospace electronics; Aircraft; Chemical industry; Computerized monitoring; Hardware; Microprocessors; Military computing; Nuclear electronics; Radar; Safety;
fLanguage
English
Journal_Title
Aerospace and Electronic Systems Magazine, IEEE
Publisher
ieee
ISSN
0885-8985
Type
jour
DOI
10.1109/62.31813
Filename
31813
Link To Document