Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Formal verification of floating-point hardware design : a...

Main
Formal verification of floating-point...

Formal verification of floating-point hardware design : a mathematical approach

David Russinoff

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Tahun:

2022

Edisi:

Second

Bahasa:

english

ISBN 10:

3030871819

ISBN 13:

9783030871819

File:

PDF, 4.86 MB

IPFS:

,

english, 2022

Buku ini tidak dapat diunduh karena keluhan dari pemegang hak cipta

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Mungkin Anda tertarik

Brent R.P., Zimmermann P. — Modern computer arithmetic

Univ Santiago de Compostela, alvaro vazquez alvarez — High-Performance Decimal Floating Point Units

Shmuel Gal (auth.), Willard L. Miranker, Richard A. Toupin (eds.) — Accurate Scientific Computations: Symposium, Bad Neuenahr, FRG, March 12–14, 1985 Proceedings

Fang F. — Lightweight floating-point arithmetic.Case study of IDCT

Ercegovac Milos D., Lang Tomas — Digital Arithmetic slides

Brent R.P., Zimmermann P. — Modern computer arithmetic

Behrooz Parhami — Computer Arithmetic: Algorithms and Hardware Designs

Richard Brent, Paul Zimmermann — Modern Computer Arithmetic

Peter Kornerup and David W. Matula — Finite Precision Number System Arithmetic

Swartzlander E.E. (ed.) — Computer Arithmetic: Volume III

Jean-Michel Muller — Elementary Functions:: Algorithms and Implementation

Nicholas J. Higham — Accuracy and stability of numerical algorithms

Nicholas J. Higham — Accuracy and stability of numerical algorithms

Earl Swartzlander, Earl Swartzlander (eds.) — Computer Arithmetic: Volume II

0009172 — Muller Elementary Functions 3rd Ed 2016

Jocelyn O Padallan — Computer Arithmetic: Key Insights

de Dinechin, Florent, Kumm, Martin — Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Kulisch, Ulrich — Computer arithmetic and validity: Theory, implementation, and applications

Istilah kunci