作者：本·科恩 ...

内容简介：本书先通过大量示例展示基础概念，然后注于序列和属性的细节，接着通过更多示例探讨高级主题，随后讨论了在设计和验证周期的各个段（括需求、设计和验证段）使用断言的过程，通过两个完整模型展示了形式化验证的应用，后增加了SVA方面的论文，同时回答了用户在论坛中提出的问题。书中所呈现的编码和使用指南源自作者多年的设计与验证工作经验，以及对硬件描述语言、断言语言和框架库的使用与教学经验。

馆藏链接：https://gfybfe357ce1806cc438dhfkcfnwooqw5c6ufofcaa.zjsru.cwkeji.cn/opac/openlink.php?callno=TP312-62/2460/*26

索书号：TP312-62/2460/*26