|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
1. Synopsys SVA documents;
2009_snug_sva.zip
(1.61 MB, 下载次数: 400 )
2. AXI BUS SVA checker example;
axi_4_bus_sva_checker.zip
(424.78 KB, 下载次数: 382 )
3. SVA LIB
SVA_LAB.zip
(1.49 MB, 下载次数: 390 )
4. SystemVerilog Assertion & Functional Coverage (绝对经典)
SystemVerilog_Assertions_and_Functional_Coverage.part1.rar
(13.68 MB, 下载次数: 851 )
SystemVerilog_Assertions_and_Functional_Coverage.part2.rar
(7.84 MB, 下载次数: 6273 )
5. Power of Assertions in SV (绝对经典)
Power_of_Assertions_in_SystemVerilog.pdf
(3.46 MB, 下载次数: 2821 )
6. Systemverilog Assertion应用指南 + 代码example (绝对经典, 汉语版)
SystemVerilog_Assertions_应用指南-源代码.rar
(3.07 MB, 下载次数: 840 )
systemverilog assertions应用指南.pdf
(1.4 MB, 下载次数: 629 )
system_verilog_assertions应用指南.pdf
(1.4 MB, 下载次数: 288 )
7. 一些论文
_castle_paper.pdf
(190.54 KB, 下载次数: 110 )
IP软核验证方法研究.pdf
(2.85 MB, 下载次数: 598 )
基于SVA的功能验证方法应用研究-R.pdf
(3.06 MB, 下载次数: 203 )
基于SVA的视频信号处理芯片功能验证.pdf
(4.2 MB, 下载次数: 173 )
基于断言的功能验证方法研究.pdf
(1.88 MB, 下载次数: 242 )
|
|