DocumentCode
1854717
Title
Implementing high integrity systems: the VIPER microprocessor
Author
Cullyer, W.J.
Author_Institution
Comput. Div., R. Signals & Radar Establ., Malvern, UK
fYear
1988
fDate
June 27 1988-July 1 1988
Firstpage
56
Lastpage
66
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.<>
Keywords
circuit analysis computing; circuit reliability; equipment evaluation (computers); microprocessor chips; performance evaluation; 32 bits; RSRE; VIPER microprocessor; hardware verification; high integrity systems; informal correctness proofs; practical problems; synchronous circuits; Aerospace electronics; Aircraft; Chemical industry; Computerized monitoring; Hardware; Microprocessors; Military computing; Radar; Safety; Signal design;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1988. COMPASS '88
Conference_Location
Gaithersburg, MD, USA
Type
conf
DOI
10.1109/CMPASS.1988.9638
Filename
9638
Link To Document