包含SystemVerilog的图书SystemVerilog for Verification（第3版）以及最新版IEEE标准；SystemVerilog Assertions的图书A Practical Guide for SystemVerilog Assertions；UVM1.2源码、官方手册、最新版IEEE标准以及图书A practical guide to adopting the universal verfication methodology(UVM)。
2021-12-30 00:28:48
37.3MB
1
NUnit是.Net平台的测试框架，广泛用于.Net平台的单元测试和回归测试中,下面我们用示例详细学习一下他的使用方法
2021-12-25 17:09:38
57KB
1
今天小编就为大家分享一篇解决pytorch报错:AssertionError: Invalid device id的问题，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧
2021-12-17 22:45:03
30KB
1
一份非常好的 SVA 资料，详细介绍怎样写出好的 assertion。资料的最后部分以 sync_fifo 为例子，详细介绍了 assertion 的写法
2021-12-15 22:50:11
134KB
1
delphi 2007/2009 在64位操作系统下调试结束时报 Assertion failure: "(!"SetThreadContext failed")"问题的补丁,下载后解压缩,然后运行,点击"Apply Path"就可以啦. Delphi_2007_2009_WOW64_Debugger_Fix
2021-11-04 10:57:18
169KB
1
Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny (auth.) - SVA_ The Power of Assertions in SystemVerilog-Springer International Publishing (2015)
2021-10-31 13:01:47
5.89MB
1
System-Verilog-Assertions(SVA)-简介,断言，形式验证
2021-10-11 21:59:13
445KB
1
经典的system verilog assertion断言书籍，适合没有基础或者基础薄弱的初学者，并且附带有详细的代码供你学习
2021-09-11 19:50:40
22.23MB
1
这是一个工程例子，使用VCS，DVE，Verdi工具
对一个线性状态机的时序进行断言，使用的是Systemverilog语言，是初学SVA验证的入门。
线性状态机有IDEL，WAIT0，CNT1，，，CNT6，WAIT6，NEXT_BLK共16个state
资源说明：包含DUT代码，断言代码，断言说明pdf，以及脚本。
2021-08-30 22:05:39
1.77MB
1
SystemVerilog Assertions 应用指南--这本书就不多介绍了。
附件是随书源代码，十分有用的。
源代码
2021-08-22 03:32:54
3.07MB
1