Implementing High Integrity Systems: The Viper Microprocessor

IEEE Aerospace and Electronic Systems Magazine

Volumn 4, Issue 6, 1989, Pages 5-13

  Cullyer, W J ^a  

^a Thorn EMI Ctrl Res Laboratories   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGRATED CIRCUITS, VLSI; SYSTEMS ENGINEERING;

HIGH INTEGRITY SYSTEMS; VIPER ELECTRONIC BLOCK MODEL; VIPER MICROPROCESSOR;

COMPUTERS, MICROCOMPUTER;

EID: 0024682007     PISSN: 08858985     EISSN: None     Source Type: Journal    
DOI: 10.1109/62.31813     Document Type: Article

References (12)

1. B.K. Daniels, ‘ACHIEVING SAFETY AND RELIABIL-ITY WITH COMPUTER SYSTEMS, “ Elsevier Applied Science Series, 1987.
2. RTP, “ MALPAS USER GUIDE, “ Rex, Thompson and Partners, Jan. 1988.
3. B.A. Carre, D. Clutterbuck, “SPADE STATIC CODE ANALYSIS MANUAL,”Program Validation Ltd., June, 1987.
4. M. Gordon, “HOL-A PROOF GENERATING SYSTEM FOR HIGHER ORDER LOGIC, “ VLSI Specification, Verification and Synthesis. Kluwer Academic Publishers, 1988.
5. J. Morison, et.al., “ELLA: HARDWARE DESCRIPTION OF SPECIFICATION Proceedings IEEE International Conference, CAD-84, Santa Clara, Nov. 1984.
6. W.J. Cullyer, “IMPLEMENTING SAFETY-CRITICAL SYSTEMS: THE VIPER MICROPROCESSOR , “VLSI Specification, Verification and Synthesis. Kluwer Academic Publishers, 1988.
7. W.J. Cullyer, “VIPER: CORRESPONDENCE BE-TWEEN SPECIFICATION AND MAJOR STATE MACHINE, “ RSRE Report 86004, Jan. 1986.
8. A. Cohn, “A PROOF OF CORRECTNESS OF THE VIPER MICROPROCESSOR: THE FIRST LEVEL VLSI SPECIFICATION, VERIFICATION AND SYNTHESIS,” Kluwer Academic Publishers, 1988.
9. A. Cohn and M. Gordon, “A MECHANISED PROOF OF CORRECTNESS OF A SIMPLE COUNTER University of Cambridge Computer Laboratory Technical Report, No. 94, July 1986.
10. C.H. Pygott, “FORMAL PROOF OF CORRESPON-DENCE BETWEEN THE SPECIFICATION OF A HARDWARE MODULE AND ITS GATE LEVEL IM-PLEMENTATION,” RSRE Report 85012, November, 1985.
11. M.P. Halbert, “A SELF-CHECKING COMPUTER MODULE BASED ON THE VIPER MICROPROCESSOR ACHIEVING SAFETY AND RELIABILITY WITH COMPUTER SYSTEMS,” Elsevier AppliedScience Series, 1987.
12. C.H. Pygott, “NODEN: AN ENGINEERING APPROACH To HARDWARE VERIFICATION,” Proceedings IFIP Conference on the Fusion of Hardware Design and Verification, Glasgow, 4-6 July, 1988.