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

Price loading...

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

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

Architecture & Microprocessors

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3030871835
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 05 March 2023
Listed Since: 05 February 2023

Barcode

No barcode data available

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

Price History & Forecast

No Price Data Available

Price Distribution

Description

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

Elsevier Computer Arithmetic and Formal Proofs - Coq System

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

Handbook of Floating-Point Arithmetic

Handbook of Floating-Point Arithmetic

Wiley Advanced Computer Arithmetic Design - Computer Science Book

Computer Arithmetic and Verilog HDL Fundamentals

Oxford Computer Arithmetic: Algorithms and Hardware Designs

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

Springer - Formal Methods and Models for System Design Book

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

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

A Roadmap for Formal Property Verification

SystemVerilog for Hardware Description: RTL Design and Verification

Verification Methodology Manual for SystemVerilog

Writing Testbenches using SystemVerilog

Computation Engineering: Applied Automata Theory and Logic

Digital Design and Computer Architecture

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

Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems