VIPER 마이크로프로세서
VIPER microprocessorVIPER는 1980년대에 Royal Signals and Radar Establishment(RSRE)에 의해 개발된 32비트 마이크로프로세서 설계로 항전 등 [1]안전에 중요한 시스템에 사용됩니다.비록 이 주장과 [2]증거의 정의를 둘러싼 논란이 있었지만, 공식적으로 올바른 것으로 입증된 최초의 상용 마이크로프로세서 설계였습니다.
설계는 1987년에 완료되었으며 RSRE에 의해 게이트 어레이에 최초로 구현되었다.그 후 Marconi Electronics는 이 설계를 MAS1908 VIPER-1로 라이선스하여 CMOS 및 실리콘 온 사파이어 기술을 사용하여 제조되었으며 120핀 그리드 어레이 [3]제품으로 패키징되었습니다.
아키텍처상 VIPER는 메모리와 I/O 공간(각각 4메가바이트)의 20비트 워드 지향 어드레싱을 지원하는 32비트 프로세서입니다.RISC 아키텍처를 연상시키는 균일한 명령 레이아웃을 사용하지만 명령 실행 시간은 기존 RISC [3]아키텍처가 필요로 하는 사이클당1개의 명령의 throughput에 비해 6~26 클럭 사이클로 다양합니다.
안전상 중요한 프로그래밍 언어인 Newspeak는 1984년 RSRE의 Ian Currie가 VIP와 함께 사용하기 위해 설계했습니다.주요 특징은 프로그램의 모든 예외적인 동작은 컴파일 시 [4][5]처리되어야 한다는 것입니다.
레퍼런스
- ^ Churchley, Andrew (1991-11-30). Microprocessor Based Protection Systems. Springer. p. 64. ISBN 9781851666119. Retrieved 23 July 2012.
- ^ MacKenzie, Donald (8 August 1991). "The fangs of the VIPER". Nature. 352 (6335): 467–468. Bibcode:1991Natur.352..467M. doi:10.1038/352467a0. S2CID 26182166.
- ^ a b Pountain, Dick (July 1988). "Fast Track Vs. Failsafe". BYTE. pp. 305–309. Retrieved 24 August 2020.
- ^ Currie, I.F. (July 1986). "NewSpeak: an unexceptional language". Software Engineering Journal. 1 (4): 170–176. doi:10.1049/sej.1986.0027. ISSN 0268-6961.
- ^ Cullyer, W.J. (2012-12-06). "Implementing Safety Critical Systems: The VIPER Microprocessor". VLSI Specification, Verification and Synthesisn. By Birtwistle, Graham; Subrahmanyam, P. A. pp. 1–18. ISBN 9781461320074.