Formal Verification of Floating-Point Hardware Design, 2nd Edition @2022

2046 · 发表于 2022-11-11 22:36:23

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

×

本帖最后由 2046 于 2022-11-12 12:12 编辑

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.

Formal Verification of Floating-Point Hardware Design.pdf (4.86 MB , 下载次数: 208 )

jw216 · 发表于 2022-11-11 22:46:50

谢谢分享

xudeqiang · 发表于 2022-11-11 22:54:27

好书如泉涌

2046 · 发表于 2022-11-11 23:03:43

some books just make up the number.

nidiya · 发表于 2022-11-12 09:08:22

感谢分享

smrecnik · 发表于 2022-11-12 11:01:15

谢谢分享

niuniu4 · 发表于 2022-11-12 12:09:49

感谢分享！！！！

tu_yjq123 · 发表于 2022-11-12 16:42:03

多谢分享。

dcircuit · 发表于 2022-11-12 20:44:54

kasndkasndsa

tom0626 · 发表于 2022-11-13 11:25:13

Thank you a lot for sharing the book.

账号		自动登录	找回密码
密码			注册

[资料] Formal Verification of Floating-Point Hardware Design, 2nd Edition @2022

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

浏览过的版块

站长推荐 /1