IEEE Aerospace and Electronic Systems Magazine · 1989 · 10 citations · 1 references
EngineeringComputer EngineeringComputer ScienceCompilersComputer ArchitectureFormal MethodsDeductive VerificationInstruction Set ArchitectureMicroarchitecture DesignProcessor MicroarchitectureArithmetic Logic Unit DesignMicroarchitecture Performance
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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
1