Implementing high integrity systems: the VIPER microprocessor
Cullyer, W.J.
Computer Assurance, 1988. COMPASS apos;88
Volume , Issue , 27 Jun-1 Jul 1988 Page(s):56 - 66
Digital Object Identifier   10.1109/CMPASS.1988.9638
Summary:The development of VIPER, a 32-bit microprocessor, is described. Some of the practical problems encountered over the four years of the project are pointed out. Informal proofs of correctness carried out by the Royal Signals and Radar Establishment (RSRE) in the early stages of the project are outlined. It is demonstrated that current methods of hardware verification for synchronous circuits are mature enough to be used for practical problems on the scale of a simple 32-bit microprocessor

» View citation and abstract

Log in by entering your IEEE Web Account Username and Password.

IEEE Communications Society members: If you subscribe to the IEEE Electronic Periodicals Package or IEEE Electronic Periodicals Package Plus, you must access your subscription at www.comsoc.org.

Check with your librarian, information professional, or system manager to determine if you need to log in. Please complete the online Technical Support Form if you need assistance.

Select the Purchase History link to access the document. You will have 5 Days after purchase to access the Full Text PDF. Please complete the online Technical Support Form if you need assistance.

• Search and access Abstract records free of charge
• Register for table of contents alerts
• Purchase Full Text PDF documents

» Learn more about subscription options or how to become an IEEE Member.