Title :
Implementing high integrity systems: the VIPER microprocessor
Author_Institution :
Comput. Div., R. Signals & Radar Establ., Malvern, UK
fDate :
June 27 1988-July 1 1988
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;
Conference_Titel :
Computer Assurance, 1988. COMPASS '88
Conference_Location :
Gaithersburg, MD, USA
DOI :
10.1109/CMPASS.1988.9638
