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 : : 2019.,
    面頁冊數: xxiv, 382 p. :ill., digital ;24 cm.
    內容註: 1 Basic Arithmetic Functions -- 2 Bit Vectors -- 3 Logical Operations -- 4 Floating-Point Numbers -- 5 Floating-Point Formats -- 6 Rounding -- 7 IEEE-Compliant Square Root -- 8 Addition -- 9 Multiplication -- 10 SRT Division and Square Root -- 11 FMA-Based Division -- 12 SSE Floating-Point Instructions -- 13 x87 Instructions -- 14 Arm Floating-Point Instructions -- 15 The Modeling Language -- 16 Double-Precision Multiplication -- 17 Double-Precision Addition and FMA -- 18 Multi-Precision Radix-4 SRT Division -- 19 Multi-Precision Radix-4 SRT Square Root.
    Contained By: Springer eBooks
    標題: Formal methods (Computer science) -
    電子資源: https://doi.org/10.1007/978-3-319-95513-1
    ISBN: 9783319955131
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9367414 電子資源 11.線上閱覽_V 電子書 EB QA76.9.F67 R877 2019 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入