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

Formal Verification of Floating-Point Hardware Design

Formal Verification of Floating-Point Hardware Design

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

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design, Second Edition advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies. The theory is extended to the analysis of several algorithms and optimization techniques that are commonly used in commercial implementations of elementary arithmetic operations. As a basis for the formal verification of such implementations, high-level specifications of the basic arithmetic instructions of several major industry-standard floating-point architectures are presented, including all details pertaining to the handling of exceptional conditions. The methodology is illustrated in the comprehensive verification of a variety of state-of-the-art commercial floating-point designs developed by Arm Holdings. This revised edition reflects the evolving microarchitectures and increasing sophistication of Arm processors, and the variation in the design goals of execution speed, hardware area requirements, and power consumption. Many new results have been added to Parts IIII (Register-Transfer Logic, Floating-Point Arithmetic, and Implementation of Elementary Operations), extending the theory and describing new techniques. These were derived as required in the verification of the new RTL designs described in Part V.

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

Single Product Purchase

$89.00
@ 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
$89.00 $89.00

$89.00
See Site In stock Visit Store

Similar Products

Some Fundamentals of Mathematics of Blockchain

$139.99

Dynamics and Geomorphology of Mountain Rivers

$84.99

Electro-optic Modulation for Photonic Networks

$99.99

Mglichkeiten von Entwicklungsprognosen in der Elektroindustrie

$59.99

Menstrual Bleeding and Pain Disorders from Adolescence to Menopause

$159.99

Globale Unternehmens- und Wertschpfungsnetzwerke

$89.99

BGB-Familienrecht und BGB-Erbrecht

$59.99

Fehler in der Psychotherapie

$69.99

Innovation and Research

$219.99

Leitfaden des Hufbeschlages

$84.99

Y is for Yum, Yum, Yum!

$5.21

Remembering 9/11

$39.99

Age Structured Epidemic Modeling

$99.00

Politische Kultur in stdtischen Rumen Parteien auf der Suche nach Whlern und Vertrauen

$69.99

On American Freedom

$39.99

Metal Matrix Composites

$109.99

Theories of Bildung and Growth

$49.99

The Spanish Military and Warfare from 1899 to the Civil War

$99.00

Untersuchungen ber die Kombination Metallkleben Punktschweien

$54.99

Image Analysis Applications and Computer Graphics

$39.99

Alternative Traditionen

$59.99

Anleitung in der galvanischen und faradischen Behandlung

$59.99

Patient-Centred Medicine in Transition

$169.99

Schwingungstechnik. Ein Handbuch fr Ingenieure

$59.99

Philosophical Works of Peter Chaadaev

$79.99

Development at Work

$109.99

Sampling Inspection and Quality Control

$54.99

The Taming of Education

$99.99

Erfolgreich Programmieren mit Ada

$79.99

No fungi no future

$19.99

Peppa Pig Paper Doll Book Peppa Pig by Golden Books

$9.99

The Web Startup Success Guide

$29.99

Nonlinear Control Synthesis for Electrical Power Systems Using Controllable Series Capacitors

$39.99

Ama-Zulu

$89.99

Discrete Hamiltonian Systems

$329.99

Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien

$59.99

International Business Organization

$109.99

Assessing Foreign Language Students Spoken Proficiency

$39.99

Ernest Hemingway

$54.99

konomische Bildung

$39.99