Implementing high integrity systems: the VIPER microprocessor
Cullyer, W.J.
Comput. Div., R. Signals & Radar Establ., Malvern;
This paper appears in: Computer Assurance, 1988. COMPASS '88
Publication Date: 27 Jun-1 Jul 1988
On page(s): 56-66
Meeting Date: 06/27/1988 - 07/01/1988
Location: Gaithersburg, MD, USA
References Cited: 12
INSPEC Accession Number: 3248220
Digital Object Identifier: 10.1109/CMPASS.1988.9638
Current Version Published: 2002-08-06
Abstract
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
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
