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.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call