System Verilog Assertions and Functional Coverage Guide to Language, Methodology and Applications, 3rd edition @2020

2046 · 发表于 2022-10-26 23:56:04

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

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

x

本帖最后由 2046 于 2022-11-8 23:50 编辑

The first and second editions of this book were well received, and the readers provided many a good suggestion for further elaboration of language semantics. The readers also pointed out some errata on the language syntax. I am greatly indebted to the readers and colleagues for their input and support. This edition elaborates on features such as SystemVerilog class-based functional coverage, CDC (clock domain crossing) verification, global clocking, and “let” and “checker” nuances and adds plenty more examples throughout the book. Over 100 pages of new material have been added (over the second edition).

Pleasant reading.

System Verilog Assertions and Functional Coverage Guide to Language, Methodology.zip (25.75 MB, 下载次数: 216 )

System Verilog Assertions and Functional Coverage Guide to Language, Methodology.zip (16.9 MB, 下载次数: 228 )

eric_firebird · 发表于 2022-10-27 09:00:23

好资源，顶起！

2046 · 发表于 2022-10-27 09:02:02

win下用copy，linux下用cat合并

im.leo · 发表于 2022-10-27 09:29:23

多谢分享多谢分享多谢分享

yuanpin318 · 发表于 2022-10-27 12:15:34

谢谢分享

lhyi · 发表于 2022-10-27 15:21:22

谢谢分享

dcircuit · 发表于 2022-10-27 21:49:36

kankana

hughs · 发表于 2022-10-28 09:22:01

谢谢分享

little_earth · 发表于 2022-10-28 12:04:57

解压不了，其他人呢

2046 · 发表于 2022-10-28 15:52:47

本帖最后由 2046 于 2022-10-28 15:54 编辑

mac os下，压缩软件将一个大文件分为几个小文件是用分割（linux命令split）的方式，而不是winzip那种分卷的方式，所以要用合并命令。windows的 dos下合并命令用copy /b file1+file2 file，linux 的xterm下用cat file1 file > file

[资料] System Verilog Assertions and Functional Coverage Guide to Language, Methodology and Applications, 3rd edition @2020

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

站长推荐 /2