Filter
(found 31 products)
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 Floating-Point Hardware Design: A Mathematical Approach
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. All of these results have been formalized in the logic of the ACL2 theorem prover and mechanically checked to ensure their correctness. They are presented here, however, in simple conventional mathematical notation. The book presupposes no familiarity with ACL2, logic design, or any mathematics beyond basic high school algebra. It will be of interest to verification engineers as well as arithmetic circuit designers who appreciate the value of a rigorous approach to their art, and is suitable as a graduate text in computer arithmetic.
104.990000 USD

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

by David M. Russinoff
Paperback / softback
Applied Time Series Analysis and Innovative Computing contains the applied time series analysis and innovative computing paradigms, with frontier application studies for the time series problems based on the recent works at the Oxford University Computing Laboratory, University of Oxford, the University of Hong Kong, and the Chinese University of ...
Applied Time Series Analysis and Innovative Computing
Applied Time Series Analysis and Innovative Computing contains the applied time series analysis and innovative computing paradigms, with frontier application studies for the time series problems based on the recent works at the Oxford University Computing Laboratory, University of Oxford, the University of Hong Kong, and the Chinese University of Hong Kong. The monograph was drafted when the author was a post-doctoral fellow in Harvard School of Engineering and Applied Sciences, Harvard University. It provides a systematic introduction to the use of innovative computing paradigms as an investigative tool for applications in time series analysis. Applied Time Series Analysis and Innovative Computing offers the state of art of tremendous advances in applied time series analysis and innovative computing paradigms and also serves as an excellent reference work for researchers and graduate students working on applied time series analysis and innovative computing paradigms.
153.92 USD

## Applied Time Series Analysis and Innovative Computing

by Sio-Iong Ao
Paperback / softback
Technische Informatik: Aoebungsbuch Zur Technischen Informatik 1 Und 2
23.020000 USD

## Technische Informatik: Aoebungsbuch Zur Technischen Informatik 1 Und 2

by Jurgen Weiland, J]rgen Weiland, Robert Schmitz, Wolfram Schiffmann
Paperback / softback
Relationale Datenbanken: Eine Einfahrung Fur Die Praxis
73.490000 USD

## Relationale Datenbanken: Eine Einfahrung Fur Die Praxis

by Andreas Meier
Paperback / softback
Formal Methods in Systems Engineering
62.950000 USD

## Formal Methods in Systems Engineering

Paperback / softback
Software Engineering Education: 7th SEI Csee Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings
USD

## Software Engineering Education: 7th SEI Csee Conference, San Antonio, Texas, USA, January 5-7, 1994. Proceedings

by SEI Conference on Software Engineering Education, Jorge L. Diaz-Herrera
Paperback / softback
Prospects for Functional Programming in Software Engineering
USD

## Prospects for Functional Programming in Software Engineering

by Jean-Pierre Banatre
Paperback / softback
Building Interactive Systems:: Architectures and Tools
68.200000 USD

## Building Interactive Systems:: Architectures and Tools

Paperback / softback
Grafische Benutzungsoberflachen: Generierung Aus Ooa-Modellen
USD

## Grafische Benutzungsoberflachen: Generierung Aus Ooa-Modellen

by Frank Hofmann
Paperback / softback
Page 1 of 2