文件名称:OVL
介绍说明－－下载内容均来自于网络，请自行研究使用
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
...\assert_always.vlib
...\assert_always_on_edge.vlib
...\assert_change.vlib
...\assert_cycle_sequence.vlib
...\assert_decrement.vlib
...\assert_delta.vlib
...\assert_even_parity.vlib
...\assert_fifo_index.vlib
...\assert_frame.vlib
...\assert_handshake.vlib
...\assert_implication.vlib
...\assert_increment.vlib
...\assert_never.vlib
...\assert_next.vlib
...\assert_no_overflow.vlib
...\assert_no_transition.vlib
...\assert_no_underflow.vlib
...\assert_odd_parity.vlib
...\assert_one_cold.vlib
...\assert_one_hot.vlib
...\assert_proposition.vlib
...\assert_quiescent_state.vlib
...\assert_range.vlib
...\assert_time.vlib
...\assert_transition.vlib
...\assert_unchange.vlib
...\assert_width.vlib
...\assert_window.vlib
...\assert_win_change.vlib
...\assert_win_unchange.vlib
...\assert_zero_one_hot.vlib
...\std_ovl.vhd
...\std_ovl_defines.h
...\std_ovl_task.h
...\sva31a
...\......\assert_always_logic.sv
...\......\assert_always_on_edge_logic.sv
...\......\assert_change_logic.sv
...\......\assert_cycle_sequence_logic.sv
...\......\assert_decrement_logic.sv
...\......\assert_delta_logic.sv
...\......\assert_even_parity_logic.sv
...\......\assert_fifo_index_logic.sv
...\......\assert_frame_logic.sv
...\......\assert_handshake_logic.sv
...\......\assert_implication_logic.sv
...\......\assert_increment_logic.sv
...\......\assert_never_logic.sv
...\......\assert_next_logic.sv
...\......\assert_no_overflow_logic.sv
...\......\assert_no_transition_logic.sv
...\......\assert_no_underflow_logic.sv
...\......\assert_odd_parity_logic.sv
...\......\assert_one_cold_logic.sv
...\......\assert_one_hot_logic.sv
...\......\assert_proposition_logic.sv
...\......\assert_quiescent_state_logic.sv
...\......\assert_range_logic.sv
...\......\assert_time_logic.sv
...\......\assert_transition_logic.sv
...\......\assert_unchange_logic.sv
...\......\assert_width_logic.sv
...\......\assert_window_logic.sv
...\......\assert_win_change_logic.sv
...\......\assert_win_unchange_logic.sv
...\......\assert_zero_one_hot_logic.sv
...\vlog95
...\......\assert_always_logic.v
...\......\assert_always_on_edge_logic.v
...\......\assert_change_logic.v
...\......\assert_cycle_sequence_logic.v
...\......\assert_decrement_logic.v
...\......\assert_delta_logic.v
...\......\assert_even_parity_logic.v
...\......\assert_fifo_index_logic.v
...\......\assert_frame_logic.v
...\......\assert_handshake_logic.v
...\......\assert_implication_logic.v
...\......\assert_increment_logic.v
...\......\assert_never_logic.v
...\......\assert_next_logic.v
...\......\assert_no_overflow_logic.v
...\......\assert_no_transition_logic.v
...\......\assert_no_underflow_logic.v
...\......\assert_odd_parity_logic.v
...\......\assert_one_cold_logic.v
...\......\assert_one_hot_logic.v
...\......\assert_proposition_logic.v
...\......\assert_quiescent_state_logic.v
...\......\assert_range_logic.v
...\......\assert_time_logic.v
...\......\assert_transition_logic.v
...\......\assert_unchange_logic.v
...\......\assert_width_logic.v
...\......\assert_window_logic.v
...\......\assert_win_change_logic.v
...\......\assert_win_unchange_logic.v
...\......\assert_zero_one_hot_logic.v
...\assert_always.vlib
...\assert_always_on_edge.vlib
...\assert_change.vlib
...\assert_cycle_sequence.vlib
...\assert_decrement.vlib
...\assert_delta.vlib
...\assert_even_parity.vlib
...\assert_fifo_index.vlib
...\assert_frame.vlib
...\assert_handshake.vlib
...\assert_implication.vlib
...\assert_increment.vlib
...\assert_never.vlib
...\assert_next.vlib
...\assert_no_overflow.vlib
...\assert_no_transition.vlib
...\assert_no_underflow.vlib
...\assert_odd_parity.vlib
...\assert_one_cold.vlib
...\assert_one_hot.vlib
...\assert_proposition.vlib
...\assert_quiescent_state.vlib
...\assert_range.vlib
...\assert_time.vlib
...\assert_transition.vlib
...\assert_unchange.vlib
...\assert_width.vlib
...\assert_window.vlib
...\assert_win_change.vlib
...\assert_win_unchange.vlib
...\assert_zero_one_hot.vlib
...\std_ovl.vhd
...\std_ovl_defines.h
...\std_ovl_task.h
...\sva31a
...\......\assert_always_logic.sv
...\......\assert_always_on_edge_logic.sv
...\......\assert_change_logic.sv
...\......\assert_cycle_sequence_logic.sv
...\......\assert_decrement_logic.sv
...\......\assert_delta_logic.sv
...\......\assert_even_parity_logic.sv
...\......\assert_fifo_index_logic.sv
...\......\assert_frame_logic.sv
...\......\assert_handshake_logic.sv
...\......\assert_implication_logic.sv
...\......\assert_increment_logic.sv
...\......\assert_never_logic.sv
...\......\assert_next_logic.sv
...\......\assert_no_overflow_logic.sv
...\......\assert_no_transition_logic.sv
...\......\assert_no_underflow_logic.sv
...\......\assert_odd_parity_logic.sv
...\......\assert_one_cold_logic.sv
...\......\assert_one_hot_logic.sv
...\......\assert_proposition_logic.sv
...\......\assert_quiescent_state_logic.sv
...\......\assert_range_logic.sv
...\......\assert_time_logic.sv
...\......\assert_transition_logic.sv
...\......\assert_unchange_logic.sv
...\......\assert_width_logic.sv
...\......\assert_window_logic.sv
...\......\assert_win_change_logic.sv
...\......\assert_win_unchange_logic.sv
...\......\assert_zero_one_hot_logic.sv
...\vlog95
...\......\assert_always_logic.v
...\......\assert_always_on_edge_logic.v
...\......\assert_change_logic.v
...\......\assert_cycle_sequence_logic.v
...\......\assert_decrement_logic.v
...\......\assert_delta_logic.v
...\......\assert_even_parity_logic.v
...\......\assert_fifo_index_logic.v
...\......\assert_frame_logic.v
...\......\assert_handshake_logic.v
...\......\assert_implication_logic.v
...\......\assert_increment_logic.v
...\......\assert_never_logic.v
...\......\assert_next_logic.v
...\......\assert_no_overflow_logic.v
...\......\assert_no_transition_logic.v
...\......\assert_no_underflow_logic.v
...\......\assert_odd_parity_logic.v
...\......\assert_one_cold_logic.v
...\......\assert_one_hot_logic.v
...\......\assert_proposition_logic.v
...\......\assert_quiescent_state_logic.v
...\......\assert_range_logic.v
...\......\assert_time_logic.v
...\......\assert_transition_logic.v
...\......\assert_unchange_logic.v
...\......\assert_width_logic.v
...\......\assert_window_logic.v
...\......\assert_win_change_logic.v
...\......\assert_win_unchange_logic.v
...\......\assert_zero_one_hot_logic.v