Title :
Implementing high integrity systems: the VIPER microprocessor
Author_Institution :
Dept. of Eng., Warwick Univ., Coventry, UK
fDate :
6/1/1989 12:00:00 AM
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;
Journal_Title :
Aerospace and Electronic Systems Magazine, IEEE
