Formal Verification of Floating-Point Hardware Design free ebook download.

Home : Book details

Formal Verification of Floating-Point Hardware Design free ebook download

Category:
Other Engineering

Views: 226
Likes: 43

Catalogue

Author(s):	Russinoff

Date:	2021	Format:	pdf	Language:	English	ISBN/ASIN:	3319955128
Pages:	408	OCR:		Quality:		ISBN13:
Uploader:	gestalt	Upload Date:	2/23/2022 3:10:47 PM

To download click on link in the Links Table below

Description: Click to see full 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 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 book consists of five parts, the first two of which present a rigorous exposition of the general theory based on the first principles of arithmetic. Part I covers bit vectors and the bit manipulation primitives, integer and fixed-point encodings, and bit-wise logical operations.  Part II addresses the properties of floating-point numbers, the formats in which they are encoded as bit vectors, and the various modes of floating-point rounding.  In Part III, 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, Part IV contains high-level specifications of correctness of the basic arithmetic instructions of several major industry-standard floating-point architectures, including all details pertaining to the handling of exceptional conditions.  Part V illustrates the methodology, applying the preceding theory to the comprehensive verification of a state-of-the-art commercial floating-point unit.

Links Table

	Title	Link	Password	Size (MB)	Thank to	Inform Admin
3093667	Book	https://k2s.cc/file/0ae620ac85477/331995...		0.00	gestalt

Tags: Design Floating-Point Formal Hardware Verification

Title	Link	Password	Size	Reason

Those who downloaded this book also downloaded the following books:
Comments

New comment: