Skip to search formSkip to main contentSkip to account menu

VIPER microprocessor

Known as: Viper (disambiguation) 
VIPER is a 32-bit microprocessor design created by Royal Signals and Radar Establishment in the 1980s, intended for use in safety-critical systems… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
AvionicsFormal proofMicroprocessorNewspeak

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
The VIPER microprocessor
  • C. Pygott
  • 6th IEEE History of Electrotechnology Conference…
  • 2019
  • Corpus ID: 214596405
A short history of the VIPER microprocessor, designed in the 1980’s with the aim of achieving a formal verification for the… 
2016
2016
Theoretical Analysis of the Impact of an Energy Recovery Expansion Device in a CO2 Refrigeration System
Carbon dioxide (CO2) is being widely used as a refrigerant in HVAC&R applications due to its low Global Warming Potential (GWP… 
2010
2010
Unusual Colour form of Siberian Pit Viper (Gloydius h. halys) from the Northern Edge of Its Area
In this report, I describe the unusual colour form of Siberian pit viper ( Gloydius h. halys ) from the marginal population in… 
1993
1993
Formal verification of a microcoded VIPER microprocessor using HOL
The Royal Signals and Radar Establishment (RSRE) and members of the Hardware Verification Group at Cambridge University conducted… 
1993
1993
Neuromuscular effects of the venom of Russell's viper.
1990
1990
Formal Specification of the VIPER Microprocessor in HOL
  • 1990
  • Corpus ID: 60194403
Abstract : The VIPER microprocessor was invented at RSRE to satisfy the need for a highly trusted 32-bit computer which can be… 
1987
1987
Application of formal methods to the VIPER microprocessor
The VIPER 32-bit microprocessor has been invented at the UK Royal Signals and Radar Establishment (RSRE) for use in highly… 
1987
1987
The VIPER Microprocessor
Abstract : Most accidents are caused by human error. Computer control systems in aircraft, chemical plant, nuclear reactors and… 
1987
1987
A Self-Checking Computer Module Based on the Viper Microprocessor — A Building Block for Reliable Systems
A self-checking computer module suitable for use in a variety of safety-critical applications is described. The module is able to… 
1985
1985
Safe Control Systems and the Viper Microprocessor.
Abstract : Most accidents are caused by human error. Computer control systems in aircraft, chemical plant, nuclear reactors and… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)