Passer au contenu principal Passer au contenu du pied de page

Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff

16 mars 2023

145,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

Voir tous les formats

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 730 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

382

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783030070489

Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff Couverture rigide
130,95 $
4 formats offerts
Introduction To Electronic Defense Systems

Filippo Neri Couverture souple
141,99 $
Introduction To Electronic Defense Systems

Filippo Neri Couverture rigide
261,50 $
Introduction to Electronic Defense Systems

Neri Neri Couverture rigide
280,50 $
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Florent de Dinechin Couverture souple
58,50 $
Application-Specific Arithmetic: Computing Just Right for the Reconfigurable Computer and the Dark Silicon Era

Florent de Dinechin Couverture rigide
262,95 $
2 formats offerts
Electronics Circuit Spice Simulations With Ltspice: A Schematic Based Approach

Rohit Singh Couverture souple
9,62 $
Introduction to Avionics Systems

R.P.G. Collinson Couverture souple
305,95 $
3 formats offerts
Theory and Calculations of Electrical Apparatus

Charles Proteus Steinmetz Couverture rigide
42,69 $
Introduction to Avionics Systems

R.P.G. Collinson Couverture souple
145,95 $
Analog Device-Level Layout Automation

John M. Cohn Couverture souple
210,82 $ ~~Réduction sur le prix courant 248,50 $ à~~
2 formats offerts
Introduction to Avionics Systems

R.P.G. Collinson Couverture souple
364,95 $
2 formats offerts
Liquid Acquisition Devices For Advanced In-space Cryogenic Propulsion Systems

Jason William Hartwig Couverture rigide
296,50 $
2 formats offerts
Soft Errors in Modern Electronic Systems

Michael Nicolaidis Couverture souple
248,50 $
3 formats offerts
Hardware Verification with System Verilog: An Object-Oriented Framework

Mike Mintz Couverture souple
175,50 $
Hardware Verification with System Verilog: An Object-oriented Framework

Mike Mintz Couverture rigide
248,50 $
Digital Logic Design Using Verilog: Coding And Rtl Synthesis

Vaibbhav Taraate Couverture rigide
189,95 $
3 formats offerts
Digital Logic Design Using Verilog: Coding And Rtl Synthesis

Vaibbhav Taraate Couverture rigide
291,95 $
2 formats offerts
Digital Logic Design Using Verilog: Coding and RTL Synthesis

Vaibbhav Taraate Couverture souple
145,95 $
Solar Fuels: Materials, Physics, and Applications

Theodore Goodson, Iii Couverture souple
88,95 $
3 formats offerts

Évaluation éditoriale

Auteur

Formal Verification Of Floating-point Hardware Design: A Mathematical Approach

David M. Russinoff Couverture rigide
130,95 $
4 formats offerts
Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon Couverture rigide
145,95 $
2 formats offerts
A Practical Introduction to Hardware/Software Codesign

Patrick R. Schaumont Couverture rigide
189,95 $
2 formats offerts
Lattice-based Public-key Cryptography In Hardware

Sujoy Sinha Roy Couverture rigide
87,95 $
2 formats offerts
Design Automation For Differential Mos Current-mode Logic Circuits

Stéphane Badel Couverture souple
233,95 $
3 formats offerts
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Prabhat Mishra Couverture souple
142,95 $
2 formats offerts
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Kothanda Umamageswaran Couverture souple
160,95 $
2 formats offerts
Design for Manufacturability and Statistical Design: A Constructive Approach

Michael Orshansky Couverture souple
248,50 $
2 formats offerts
Multiprocessor System-on-Chip: Hardware Design and Tool Integration

Michael Hübner Couverture rigide
248,50 $
2 formats offerts
The Codesign Of Embedded Systems: A Unified Hardware/Software Representation

Sanjaya Kumar Couverture souple
321,50 $
2 formats offerts
System-on-a-Chip Verification: Methodology and Techniques

Prakash Rashinkar Couverture souple
262,95 $
2 formats offerts
Practical Aspects of Embedded System Design using Microcontrollers

Jivan Parab Couverture souple
160,95 $
2 formats offerts
Practical Problems in VLSI Physical Design Automation

Sung Kyu Lim Couverture souple
248,50 $
2 formats offerts
Static Timing Analysis for Nanometer Designs: A Practical Approach

J. Bhasker Couverture souple
291,95 $
2 formats offerts
Logic Locking: A Practical Approach to Secure Hardware

Dominik Sisejkovic Couverture rigide
160,95 $
2 formats offerts
Place Coding in Analog VLSI: A Neuromorphic Approach to Computation

Oliver Landolt Couverture souple
248,50 $
2 formats offerts
System Level Hardware/Software Co-Design: An Industrial Approach

Joris van den Hurk Couverture souple
248,50 $
2 formats offerts
Verification by Error Modeling: Using Testing Techniques in Hardware Verification

Katarzyna Radecka Couverture souple
160,95 $
2 formats offerts
Hardware Architectures For Post-quantum Digital Signature Schemes

Deepraj Soni Couverture rigide
175,50 $
2 formats offerts
Scalable Techniques for Formal Verification

Sandip Ray Couverture souple
155,95 $
3 formats offerts