Formal verification of floating-poin...
Russinoff, David M.

FindBook      Google Book      Amazon      博客來     
  • Formal verification of floating-point hardware design = a mathematical approach /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Formal verification of floating-point hardware design/ by David M. Russinoff.
    其他題名: a mathematical approach /
    作者: Russinoff, David M.
    出版者: Cham :Springer International Publishing : : 2022.,
    面頁冊數: xxviii, 436 p. :ill., digital ;24 cm.
    內容註: Part I - Register-Transfer Logic -- Basic Arithmetic Functions -- Bit Vectors -- Logical Operations -- Part II - Floating-Point Arithmetic -- Floating-Point Numbers -- Floating-Point Formats -- Rounding -- IEEE-Compliant Square Root -- Part III - Implementation of Elementary Operations -- Addition -- Multiplication -- SRT Division and Square Root -- FMA-Based Division -- Part IV - Comparative Architectures: SSE, x87, and Arm -- SSE Floating-Point Instructions -- x87 Instructions -- Arm Floating-Point -- Instructions -- Part V - Formal Verification of RTL Designs -- The RAC Modeling Language -- Double-Precision Multiplication and Scaling -- Double-Precision Addition and FMA -- Multi-Precision Radix-8 SRT Division -- 64-bit Integer Division -- Multi-Precision Radix-4 SRT Square Root -- Multi-Precision Radix-2 SRT Division -- Fused Multiply-Add of a Graphics Processor.
    Contained By: Springer Nature eBook
    標題: Formal methods (Computer science) -
    電子資源: https://doi.org/10.1007/978-3-030-87181-9
    ISBN: 9783030871819
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9440185 電子資源 11.線上閱覽_V 電子書 EB QA76.9.F67 R87 2022 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入