Hybrid verification. SystemVerilog. Formal Verification.

长城 · 发表于 2010-10-23 06:59:36

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

×

Simgen by Motorola in ICCAD\'99.pdf (127.89 KB, 下载次数: 10)

Esterel TG by Arditi el al in FME\'01.pdf (110.95 KB, 下载次数: 8)

Conformal_Ref.pdf (2.72 MB, 下载次数: 22)

Executable Protocol Specification in ESL.pdf (177.28 KB, 下载次数: 16)

SV Verification.pdf (261.32 KB, 下载次数: 12)

2002-HDLCon-paper_SystemVerilog.pdf (66.64 KB, 下载次数: 5)

2003-DVCon-paper_SystemVerilog.pdf (163.6 KB, 下载次数: 9)

2003-SNUG-paper_SystemVerilog.pdf (203.49 KB, 下载次数: 6)

2003-SystemVerilog_white_paper.pdf (85.94 KB, 下载次数: 7)

lionard · 发表于 2010-10-23 07:02:21

thanks for sharing!

lionard · 发表于 2010-10-23 07:05:47

good references!

jlqsczw_2007 · 发表于 2010-10-23 07:14:11

这么贵啊，什么好东西

zh123456789 · 发表于 2010-10-23 18:15:06

这么多东西？？

zh123456789 · 发表于 2010-10-23 18:17:02

这么多啊

lionard · 发表于 2010-10-24 07:10:02

I'd sv books

lionard · 发表于 2010-10-24 11:43:47

Could you post more articles

chujn · 发表于 2010-10-27 10:38:07

下来看看，谢谢。

hekai618 · 发表于 2010-11-4 15:17:47

下来看看！

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

[原创] Hybrid verification. SystemVerilog. Formal Verification.