没有合适的资源?快使用搜索试试~ 我知道了~
svaunit:SVAUnit是兼容UVM的软件包,可简化用于验证SystemVerilog断言(SVA)的激励检查程序的创建
共304个文件
png:152个
html:74个
sv:19个
需积分: 30 3 下载量 140 浏览量
2021-05-28
12:05:19
上传
评论 1
收藏 6.63MB ZIP 举报
温馨提示
斯瓦尼 SVAUnit是兼容UVM的软件包,可简化用于验证SystemVerilog断言(SVA)的刺激/检查程序的创建 您可以在此处查看更多详细信息:
资源推荐
资源详情
资源评论
收起资源包目录
svaunit:SVAUnit是兼容UVM的软件包,可简化用于验证SystemVerilog断言(SVA)的激励检查程序的创建 (304个子文件)
default.build 475B
svaunit_vpi_api.cpp 17KB
bootstrap.css 118KB
select2-bootstrap.css 21KB
select2.css 17KB
content.css 10KB
toc.css 91B
custom.css 0B
SystemVerilog_Assertions_Verification_with_SVAUnit_paper.doc 629KB
glyphicons-halflings-regular.eot 20KB
options_ius.f 326B
options_vcs.f 304B
options_questa.f 239B
files.f 186B
files.f 174B
svaunit.flt 2KB
select2-spinner.gif 2KB
svaunit_pkg-svaunit_vpi_wrapper.html 56KB
svaunit_pkg-svaunit_test.html 47KB
svaunit_pkg-svaunit_base.html 43KB
svaunit_pkg-svaunit_test_suite.html 38KB
summary-macro-global.html 36KB
svaunit_pkg-svaunit_base_sequence.html 32KB
amiq_svaunit_ex_simple_pkg-amiq_svaunit_ex_simple_test_head_sequence.html 31KB
amiq_svaunit_ex_simple_pkg-amiq_svaunit_ex_simple_test_sequence.html 31KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_after_reset_test_suite.html 30KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_protocol_test_suite.html 30KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_x_z_test_suite.html 30KB
amiq_svaunit_ex_simple_pkg-amiq_svaunit_ex_simple_test_suite.html 30KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_suite.html 30KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_sign_trans.html 29KB
svaunit_pkg-svaunit_sequence_test.html 29KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_ready_max_low_time.html 29KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_svlerr_cond.html 29KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_sel_trans_during_trans.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_after_reset_enable.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_strb_val_read_trans.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_en_deassertion.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_rdata_trans.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_en_assertion.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_sel_min_time.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_after_reset_slverr.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_en_trans.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_sel_trans.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_en_fall.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_en_val.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_after_reset_sel.html 28KB
amiq_svaunit_ex_simple_pkg-amiq_svaunit_ex_simple_test_with_parameter.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_x_z_slverr.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_x_z_enable.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_x_z_write.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_x_z_ready.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_x_z_prot.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_x_z_addr.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_x_z_strb.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_x_z_sel.html 28KB
amiq_svaunit_ex_apb_test_pkg-amiq_svaunit_ex_apb_test_illegal_sel_val.html 28KB
amiq_svaunit_ex_simple_pkg-amiq_svaunit_ex_simple_test_unit.html 28KB
work_amiq_apb_if.html 26KB
svaunit_pkg-svaunit_sequencer.html 26KB
summary.html 24KB
svaunit_pkg-svaunit_concurrent_assertion_info.html 24KB
work_svaunit_vpi_interface.html 23KB
summary-svaunit_pkg.html 21KB
summary-amiq_svaunit_ex_apb_test_pkg.html 20KB
summary-assertions.html 20KB
svaunit_pkg-svaunit_immediate_assertion_info.html 19KB
svaunit_pkg-svaunit_concurrent_assertion_details.html 18KB
toc.html 18KB
svaunit_pkg-svaunit_immediate_assertion_details.html 18KB
summary-class-amiq_svaunit_ex_apb_test_pkg.html 14KB
svaunit_pkg-svaunit_reporter.html 12KB
summary-amiq_svaunit_ex_simple_pkg.html 7KB
summary-class-svaunit_pkg.html 5KB
work_apb_top.html 4KB
work_top.html 4KB
svaunit_pkg-svaunit_concurrent_assertion_state_type.html 4KB
work_another_interface.html 3KB
work_an_interface.html 3KB
summary-class-amiq_svaunit_ex_simple_pkg.html 3KB
summary-overview.html 3KB
summary-interface-global.html 3KB
summary-enum-svaunit_pkg.html 2KB
vlog-legend-classes.html 2KB
svaunit_pkg-svaunit_status_type.html 2KB
svaunit_pkg-svaunit_sva_tested_type.html 2KB
summary-module-global.html 2KB
summary-covergroup.html 2KB
summary-program-global.html 2KB
summary-global-scope.html 1KB
index.html 1KB
select2.js 149KB
jquery.js 94KB
bootstrap.js 54KB
content.js 2KB
jquery.scrollUp.js 2KB
toc.js 452B
custom.js 0B
svaunit_RunWithDialog.launch 2KB
README.md 426B
共 304 条
- 1
- 2
- 3
- 4
资源评论
陈崇礼
- 粉丝: 47
- 资源: 4683
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功