Stock image for illustration purposes only - book cover, edition or condition may vary.
Current Trends in Hardware Verification and Automated Theorem Proving
. Ed(S): Birtwistle, Graham; Subrahmanyam, P. A.
€ 124.26
FREE Delivery in Ireland
Description for Current Trends in Hardware Verification and Automated Theorem Proving
Paperback. Editor(s): Birtwistle, Graham; Subrahmanyam, P. A. Num Pages: 489 pages, biography. BIC Classification: TJF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 755.
This report describes the partially completed correctness proof of the Viper 'block model'. Viper [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal Signals and Radar Establishment in Malvern, England, (henceforth 'RSRE') for use in safety-critical applications such as civil aviation and nuclear power plant control. It is currently finding uses in areas such as the de ployment of weapons from tactical aircraft. To support safety-critical applications, Viper has a particulary simple design about which it is relatively easy to reason using current techniques and models. The designers, who deserve much credit ... Read more
This report describes the partially completed correctness proof of the Viper 'block model'. Viper [7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal Signals and Radar Establishment in Malvern, England, (henceforth 'RSRE') for use in safety-critical applications such as civil aviation and nuclear power plant control. It is currently finding uses in areas such as the de ployment of weapons from tactical aircraft. To support safety-critical applications, Viper has a particulary simple design about which it is relatively easy to reason using current techniques and models. The designers, who deserve much credit ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag New York Inc. United States
Number of pages
489
Condition
New
Number of Pages
489
Place of Publication
New York, NY, United States
ISBN
9781461281955
SKU
V9781461281955
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Current Trends in Hardware Verification and Automated Theorem Proving