文件名称:std_ovl_v2p7_Feb2013
-
所属分类：
- 标签属性：
- 上传时间：2013-06-22
-
文件大小：4.79mb
-
已下载：1次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
目前最新的OVL库，里面是标准的ASSERTION模块，支持VHDL刚Verilog，最近在做AXI协议验证的时候用到，分享下-The latest OVL(open verification library),including all standard module of assertions(VHDL and Verilog). It can be used into AXI Protocl Verification. Just share with you guys.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
std_ovl_v2p7_Feb2013/
std_ovl_v2p7_Feb2013/std_ovl_v2p7/
std_ovl_v2p7_Feb2013/std_ovl_v2p7/.list
std_ovl_v2p7_Feb2013/std_ovl_v2p7/Makefile
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_always.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_always_on_edge.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_change.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_change.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_cycle_sequence.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_decrement.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_delta.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_even_parity.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_fifo_index.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_frame.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_handshake.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_implication.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_increment.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_never.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_never_unknown.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_never_unknown_async.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_next.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_no_overflow.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_no_transition.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_no_underflow.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_odd_parity.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_one_cold.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_one_hot.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_proposition.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_quiescent_state.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_range.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_time.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_transition.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_unchange.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_width.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_win_change.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_win_unchange.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_window.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_zero_one_hot.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/banner_update
std_ovl_v2p7_Feb2013/std_ovl_v2p7/copyright_update
std_ovl_v2p7_Feb2013/std_ovl_v2p7/create_kit
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/Makefile
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/assert_quick_ref.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/assert_timing_diagrams.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_lrm.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_lrm_v2_0rc.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_lrm_v2_1.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_quick_ref.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_quick_ref.xls
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_quick_ref_v1_6.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_timing_diagrams.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/readme_vhdl.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/release_notes.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/release_notes_v1.1.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/release_notes_v1.1a.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/release_notes_v1_6.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_V1.0.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_V1.1.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_V1.1.r1.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_V1.1a.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_v1_6.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/gen_name_list
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_always.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_always.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_always_on_edge.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_always_on_edge.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_arbiter.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_bits.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_change.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_change.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_code_distance.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_coverage.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_crc.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_cycle_sequence.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_cycle_sequence.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_decrement.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_decrement.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_delta.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_delta.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_even_parity.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_even_parity.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_fifo.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_fifo_index.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_fifo_index.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_frame.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_frame.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_handshake.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_handshake.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_hold_value.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_implication.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_implication.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_increment.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_increment.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_
std_ovl_v2p7_Feb2013/std_ovl_v2p7/
std_ovl_v2p7_Feb2013/std_ovl_v2p7/.list
std_ovl_v2p7_Feb2013/std_ovl_v2p7/Makefile
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_always.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_always_on_edge.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_change.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_change.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_cycle_sequence.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_decrement.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_delta.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_even_parity.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_fifo_index.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_frame.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_handshake.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_implication.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_increment.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_never.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_never_unknown.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_never_unknown_async.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_next.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_no_overflow.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_no_transition.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_no_underflow.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_odd_parity.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_one_cold.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_one_hot.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_proposition.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_quiescent_state.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_range.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_time.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_transition.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_unchange.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_width.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_win_change.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_win_unchange.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_window.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/assert_zero_one_hot.vlib
std_ovl_v2p7_Feb2013/std_ovl_v2p7/banner_update
std_ovl_v2p7_Feb2013/std_ovl_v2p7/copyright_update
std_ovl_v2p7_Feb2013/std_ovl_v2p7/create_kit
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/Makefile
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/assert_quick_ref.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/assert_timing_diagrams.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_lrm.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_lrm_v2_0rc.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_lrm_v2_1.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_quick_ref.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_quick_ref.xls
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_quick_ref_v1_6.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/ovl_timing_diagrams.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/readme_vhdl.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/release_notes.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/release_notes_v1.1.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/release_notes_v1.1a.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/release_notes_v1_6.txt
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_V1.0.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_V1.1.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_V1.1.r1.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_V1.1a.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/docs/std_ovl_lrm_v1_6.pdf
std_ovl_v2p7_Feb2013/std_ovl_v2p7/gen_name_list
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_always.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_always.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_always_on_edge.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_always_on_edge.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_arbiter.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_bits.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_change.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_change.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_code_distance.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_coverage.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_crc.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_cycle_sequence.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_cycle_sequence.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_decrement.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_decrement.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_delta.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_delta.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_even_parity.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_even_parity.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_fifo.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_fifo_index.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_fifo_index.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_frame.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_frame.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_handshake.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_handshake.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_hold_value.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_implication.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_implication.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_increment.v
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_increment.vhd
std_ovl_v2p7_Feb2013/std_ovl_v2p7/ovl_
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.