Formal System Verification，State-of the-Art and Future Trends，2018
2022-03-23 21:25:13
6.33MB
1
Scalable Techniques for Formal Verification，2010，Sandip Ray
2022-03-23 21:24:32
2.05MB
1
Sensible Effectivity - Environment friendly ApplyThe goal of SQL tuning is the advance of the prevailing execution plan. The authors talk about the elimination of brakes within the execution plan. Such “brakes” or bottlenecks may be acknowledged by a proper evaluation of the execution plan. For this objective no knowledge mannequin data is required. That is particularly helpful for database directors as a result of they're normally not or insufficiently aware of the information mannequin. The e book presents quite a few sensible examples with this technique.,解压密码 share.weimo.info
2022-02-28 12:39:22
4.53MB
1
Formal Method\Formal Verification for Digital Circuit Design
2022-02-08 15:20:31
1.22MB
1
原始存储库位于我自己的git服务器上，为
每次推送都会将其镜像到github，因此两者应该同步。
formal_hw_verification
使用形式验证来检查数字硬件设计正确性的测试和示例。 所有测试均使用完成， 是基于正式验证流程的。
master分支中的所有内容都使用和作为（Symbi）Yosys的VHDL前端插件。 使用GHDL作为综合前端可以使用PSL作为验证语言。
中的一些示例使用的商业VHDL / SystemVerilog前端插件，它不是免费的SW，也不包含在免费的Yosys版本中。 有关更多信息，请参见。
您可以使用提供的hdlc/formal:all docker映像（推荐）。 或者您使用我在自己的机器上构建。 两者都有可用的最新工具版本。
铝
VHDL中的简单ALU设计。 形式检查包含由assert＆cover指令使用的各种简单属性，这些属性已通过Symb
2022-02-08 15:05:54
181KB
1
书名：SystemVerilog Assertions Handbook for Formal and Dynamic Verification
作者：Ben Cohen, Srinivasan Venkataramanan, Ajeetha Kumari, Lisa Piper
语言：英文
版本：第1版
感谢genghis网友的搜集整理。
2022-01-12 11:29:40
21.97MB
1
A Logical Approach to Discrete Math
a book for programming logics
2022-01-04 16:39:37
20.27MB
1
"Using Z: Specification, Refinement and Proof" -
J. Woodcock and J. Davies Prentice Hall, 1994. 英文版
2021-12-02 10:04:30
2.38MB
1
SYSTEMVERILOG ASSERTIONS FOR FORMAL VERIFICATION
2021-10-20 22:05:12
1.58MB
1