Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

The SECD Microprocessor

The SECD Microprocessor

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461535768
Condition
New
Product Description

This is a milestone in machine-assisted microprocessor verification. Gordon [20] and Hunt [32] led the way with their verifications of sim ple designs, Cohn [12, 13] followed this with the verification of parts of the VIPER microprocessor. This work illustrates how much these, and other, pioneers achieved in developing tractable models, scalable tools, and a robust methodology. A condensed review of previous re search, emphasising the behavioural model underlying this style of verification is followed by a careful, and remarkably readable, ac count of the SECD architecture, its formalisation, and a report on the organisation and execution of the automated correctness proof in HOL. This monograph reports on Graham's MSc project, demonstrat ing that - in the right hands - the tools and methodology for formal verification can (and therefore should?) now be applied by someone with little previous expertise in formal methods, to verify a non-trivial microprocessor in a limited timescale. This is not to belittle Graham's achievement; the production of this proof, work ing as Graham did from the previous literature, goes well beyond a typical MSc project. The achievement is that, with this exposition to hand, an engineer tackling the verification of similar microprocessor designs will have a clear view of the milestones that must be passed on the way, and of the methods to be applied to achieve them.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Sustainability Standards and Global Governance

$59.99

Hochschulorganisation und Geschlecht in vernderten Bildungswelten

$34.99

Programming with TensorFlow

$54.99

Literary Heterogenesis

$99.00

Kleines Wrterbuch der Marxistisch-Leninistischen Philosophie

$59.99

The Two Faces of Judicial Power

$79.99

Einfhrung in die Verbandstheorie

$54.99

Warum der Spa am Bsen ein Teil von uns ist

$19.99

Pulvermetallurgie elektrischer Kontakte

$44.99

Collaboration and Technology

$54.99

Fever Crumb

$9.74

WHO Laborhandbuch

$29.99

Straminipilous Fungi

$219.99

Success in Academic Surgery: Health Services Research

$79.99

Myocardial Pathology Segmentation Combining Multi-Sequence Cardiac Magnetic Resonance Images

$39.99

The Moral Brain

$169.99

Starthilfe Thermodynamik

$24.99

Proteomics: Biomedical and Pharmaceutical Applications

$179.00

Unterhaltende Fernsehmagazine

$59.99

Rare Tumors In Children and Adolescents

$229.00

Mutter + Vater = Eltern?

$39.99

Slavery in the Islamic World

$69.99

Blockchain Applications in Food Supply Chain Management

$79.99

Melanoma

$249.99

Nuclear Techniques in Diagnostic Medicine

$259.00

Digital Multimedia Communications

$119.00

Jean Pauls "Komet"

$44.99

Die Publizitt des Finanzvermgens im Jahresabschlu

$49.99

Diagnosis and Prediction

$39.99

Architektur der digitalen Transformation

$109.00

Making Friends

$9.74

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOM

$219.99

Health Diplomacy in Africa

$159.99

Prinzipien zur Lsung mathematischer Probleme

$59.99

France in an Era of Global War, 1914-1945

$39.99

The Transformation of British and American Naval Policy in the Pre-Dreadnought Era

$119.99

Enhancing Resilience in Youth

$139.99

ber Fehlzeiten im Betrieb

$44.99

Association and Auditory Cortices

$219.99

Fundamental Aspects of Inert Gases in Solids

$219.99