Loading...
Please wait, while we are loading the content...
Similar Documents
Report on the formal specification and partial verification of the viper microprocessor
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Hunt Jr., Warren A. Brock, Bishop |
| Copyright Year | 1991 |
| Description | The formal specification and partial verification of the VIPER microprocessor is reviewed. The VIPER microprocessor was designed by RSRE, Malvern, England, for safety critical computing applications (e.g., aircraft, reactor control, medical instruments, armaments). The VIPER was carefully specified and partially verified in an attempt to provide a microprocessor with completely predictable operating characteristics. The specification of VIPER is divided into several levels of abstraction, from a gate-level description up to an instruction execution model. Although the consistency between certain levels was demonstrated with mechanically-assisted mathematical proof, the formal verification of VIPER was never completed. |
| File Size | 1233232 |
| Page Count | 36 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_19910018472 |
| Archival Resource Key | ark:/13960/t11p30q57 |
| Language | English |
| Publisher Date | 1991-07-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Medical Equipment Consistency England Architecture Computers Design Analysis Aircraft Control Specifications Microprocessors Education Computer Techniques Proving Hardware Bioinstrumentation Safety Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
