文件名称:OVL
-
所属分类：
- 标签属性：
- 上传时间：2012-11-16
-
文件大小：68.78kb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
OVL——基于断言的verilog验证
Verilog数字系统设计:RTL综合、测试平台与验证-OVL- assertion-based verification of Verilog Verilog digital system design: RTL synthesis, test and verification platform
Verilog数字系统设计:RTL综合、测试平台与验证-OVL- assertion-based verification of Verilog Verilog digital system design: RTL synthesis, test and verification platform
(系统自动生成,下载前可以参看下载内容)
下载文件列表
OVL/
OVL/assert_always.vlib
OVL/assert_always_on_edge.vlib
OVL/assert_change.vlib
OVL/assert_cycle_sequence.vlib
OVL/assert_decrement.vlib
OVL/assert_delta.vlib
OVL/assert_even_parity.vlib
OVL/assert_fifo_index.vlib
OVL/assert_frame.vlib
OVL/assert_handshake.vlib
OVL/assert_implication.vlib
OVL/assert_increment.vlib
OVL/assert_never.vlib
OVL/assert_next.vlib
OVL/assert_no_overflow.vlib
OVL/assert_no_transition.vlib
OVL/assert_no_underflow.vlib
OVL/assert_odd_parity.vlib
OVL/assert_one_cold.vlib
OVL/assert_one_hot.vlib
OVL/assert_proposition.vlib
OVL/assert_quiescent_state.vlib
OVL/assert_range.vlib
OVL/assert_time.vlib
OVL/assert_transition.vlib
OVL/assert_unchange.vlib
OVL/assert_width.vlib
OVL/assert_window.vlib
OVL/assert_win_change.vlib
OVL/assert_win_unchange.vlib
OVL/assert_zero_one_hot.vlib
OVL/std_ovl.vhd
OVL/std_ovl_defines.h
OVL/std_ovl_task.h
OVL/sva31a/
OVL/sva31a/assert_always_logic.sv
OVL/sva31a/assert_always_on_edge_logic.sv
OVL/sva31a/assert_change_logic.sv
OVL/sva31a/assert_cycle_sequence_logic.sv
OVL/sva31a/assert_decrement_logic.sv
OVL/sva31a/assert_delta_logic.sv
OVL/sva31a/assert_even_parity_logic.sv
OVL/sva31a/assert_fifo_index_logic.sv
OVL/sva31a/assert_frame_logic.sv
OVL/sva31a/assert_handshake_logic.sv
OVL/sva31a/assert_implication_logic.sv
OVL/sva31a/assert_increment_logic.sv
OVL/sva31a/assert_never_logic.sv
OVL/sva31a/assert_next_logic.sv
OVL/sva31a/assert_no_overflow_logic.sv
OVL/sva31a/assert_no_transition_logic.sv
OVL/sva31a/assert_no_underflow_logic.sv
OVL/sva31a/assert_odd_parity_logic.sv
OVL/sva31a/assert_one_cold_logic.sv
OVL/sva31a/assert_one_hot_logic.sv
OVL/sva31a/assert_proposition_logic.sv
OVL/sva31a/assert_quiescent_state_logic.sv
OVL/sva31a/assert_range_logic.sv
OVL/sva31a/assert_time_logic.sv
OVL/sva31a/assert_transition_logic.sv
OVL/sva31a/assert_unchange_logic.sv
OVL/sva31a/assert_width_logic.sv
OVL/sva31a/assert_window_logic.sv
OVL/sva31a/assert_win_change_logic.sv
OVL/sva31a/assert_win_unchange_logic.sv
OVL/sva31a/assert_zero_one_hot_logic.sv
OVL/vlog95/
OVL/vlog95/assert_always_logic.v
OVL/vlog95/assert_always_on_edge_logic.v
OVL/vlog95/assert_change_logic.v
OVL/vlog95/assert_cycle_sequence_logic.v
OVL/vlog95/assert_decrement_logic.v
OVL/vlog95/assert_delta_logic.v
OVL/vlog95/assert_even_parity_logic.v
OVL/vlog95/assert_fifo_index_logic.v
OVL/vlog95/assert_frame_logic.v
OVL/vlog95/assert_handshake_logic.v
OVL/vlog95/assert_implication_logic.v
OVL/vlog95/assert_increment_logic.v
OVL/vlog95/assert_never_logic.v
OVL/vlog95/assert_next_logic.v
OVL/vlog95/assert_no_overflow_logic.v
OVL/vlog95/assert_no_transition_logic.v
OVL/vlog95/assert_no_underflow_logic.v
OVL/vlog95/assert_odd_parity_logic.v
OVL/vlog95/assert_one_cold_logic.v
OVL/vlog95/assert_one_hot_logic.v
OVL/vlog95/assert_proposition_logic.v
OVL/vlog95/assert_quiescent_state_logic.v
OVL/vlog95/assert_range_logic.v
OVL/vlog95/assert_time_logic.v
OVL/vlog95/assert_transition_logic.v
OVL/vlog95/assert_unchange_logic.v
OVL/vlog95/assert_width_logic.v
OVL/vlog95/assert_window_logic.v
OVL/vlog95/assert_win_change_logic.v
OVL/vlog95/assert_win_unchange_logic.v
OVL/vlog95/assert_zero_one_hot_logic.v
OVL/assert_always.vlib
OVL/assert_always_on_edge.vlib
OVL/assert_change.vlib
OVL/assert_cycle_sequence.vlib
OVL/assert_decrement.vlib
OVL/assert_delta.vlib
OVL/assert_even_parity.vlib
OVL/assert_fifo_index.vlib
OVL/assert_frame.vlib
OVL/assert_handshake.vlib
OVL/assert_implication.vlib
OVL/assert_increment.vlib
OVL/assert_never.vlib
OVL/assert_next.vlib
OVL/assert_no_overflow.vlib
OVL/assert_no_transition.vlib
OVL/assert_no_underflow.vlib
OVL/assert_odd_parity.vlib
OVL/assert_one_cold.vlib
OVL/assert_one_hot.vlib
OVL/assert_proposition.vlib
OVL/assert_quiescent_state.vlib
OVL/assert_range.vlib
OVL/assert_time.vlib
OVL/assert_transition.vlib
OVL/assert_unchange.vlib
OVL/assert_width.vlib
OVL/assert_window.vlib
OVL/assert_win_change.vlib
OVL/assert_win_unchange.vlib
OVL/assert_zero_one_hot.vlib
OVL/std_ovl.vhd
OVL/std_ovl_defines.h
OVL/std_ovl_task.h
OVL/sva31a/
OVL/sva31a/assert_always_logic.sv
OVL/sva31a/assert_always_on_edge_logic.sv
OVL/sva31a/assert_change_logic.sv
OVL/sva31a/assert_cycle_sequence_logic.sv
OVL/sva31a/assert_decrement_logic.sv
OVL/sva31a/assert_delta_logic.sv
OVL/sva31a/assert_even_parity_logic.sv
OVL/sva31a/assert_fifo_index_logic.sv
OVL/sva31a/assert_frame_logic.sv
OVL/sva31a/assert_handshake_logic.sv
OVL/sva31a/assert_implication_logic.sv
OVL/sva31a/assert_increment_logic.sv
OVL/sva31a/assert_never_logic.sv
OVL/sva31a/assert_next_logic.sv
OVL/sva31a/assert_no_overflow_logic.sv
OVL/sva31a/assert_no_transition_logic.sv
OVL/sva31a/assert_no_underflow_logic.sv
OVL/sva31a/assert_odd_parity_logic.sv
OVL/sva31a/assert_one_cold_logic.sv
OVL/sva31a/assert_one_hot_logic.sv
OVL/sva31a/assert_proposition_logic.sv
OVL/sva31a/assert_quiescent_state_logic.sv
OVL/sva31a/assert_range_logic.sv
OVL/sva31a/assert_time_logic.sv
OVL/sva31a/assert_transition_logic.sv
OVL/sva31a/assert_unchange_logic.sv
OVL/sva31a/assert_width_logic.sv
OVL/sva31a/assert_window_logic.sv
OVL/sva31a/assert_win_change_logic.sv
OVL/sva31a/assert_win_unchange_logic.sv
OVL/sva31a/assert_zero_one_hot_logic.sv
OVL/vlog95/
OVL/vlog95/assert_always_logic.v
OVL/vlog95/assert_always_on_edge_logic.v
OVL/vlog95/assert_change_logic.v
OVL/vlog95/assert_cycle_sequence_logic.v
OVL/vlog95/assert_decrement_logic.v
OVL/vlog95/assert_delta_logic.v
OVL/vlog95/assert_even_parity_logic.v
OVL/vlog95/assert_fifo_index_logic.v
OVL/vlog95/assert_frame_logic.v
OVL/vlog95/assert_handshake_logic.v
OVL/vlog95/assert_implication_logic.v
OVL/vlog95/assert_increment_logic.v
OVL/vlog95/assert_never_logic.v
OVL/vlog95/assert_next_logic.v
OVL/vlog95/assert_no_overflow_logic.v
OVL/vlog95/assert_no_transition_logic.v
OVL/vlog95/assert_no_underflow_logic.v
OVL/vlog95/assert_odd_parity_logic.v
OVL/vlog95/assert_one_cold_logic.v
OVL/vlog95/assert_one_hot_logic.v
OVL/vlog95/assert_proposition_logic.v
OVL/vlog95/assert_quiescent_state_logic.v
OVL/vlog95/assert_range_logic.v
OVL/vlog95/assert_time_logic.v
OVL/vlog95/assert_transition_logic.v
OVL/vlog95/assert_unchange_logic.v
OVL/vlog95/assert_width_logic.v
OVL/vlog95/assert_window_logic.v
OVL/vlog95/assert_win_change_logic.v
OVL/vlog95/assert_win_unchange_logic.v
OVL/vlog95/assert_zero_one_hot_logic.v
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.