Formal Verification of Floating-Point Hardware Design: A Mathematical Approach - Image 1

£107.73

Springer Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Name: Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Brand: Springer
Price: 103.73 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 35 days • 35 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 35 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £104 (18 days, 51.4%)

Price range: £103 - £108

Price levels: 3 different prices over 35 days

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 I―III (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.

Key Features

Formal Verification Of Floating Point Hardware Design: A Mathematical Approach

Product Type : Abis Book

Brand : Springer

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 3030871800
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 04 March 2022
Listed Since: 12 August 2021

Barcode

No barcode data available

Springer Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Formal Verification: An Essential Toolkit for Modern VLSI Design

Scalable Hardware Verification with Symbolic Simulation

Formal System Verification: State-of the-Art and Future Trends

Wiley Advanced Computer Arithmetic Design - Computer Science Book

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation

Elsevier Computer Arithmetic and Formal Proofs - Coq System

Springer - Formal Methods and Models for System Design Book

Computer Arithmetic and Verilog HDL Fundamentals

Handbook of Floating-Point Arithmetic

Handbook of Floating-Point Arithmetic

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies

Oxford Computer Arithmetic: Algorithms and Hardware Designs

A Roadmap for Formal Property Verification

Computation Engineering: Applied Automata Theory and Logic

Writing Testbenches using SystemVerilog

SystemVerilog for Hardware Description: RTL Design and Verification

Verification Methodology Manual for SystemVerilog

Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems

VLSI Physical Design: From Graph Partitioning to Timing Closure

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach