ovl_quick_ref - OVL QUICK REFERENCE (www.eda.org/ovl) Last...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
TYPE NAME PARAMETERS PORTS DESCRIPTION Single-Cycle ovl_always #(severity_level, property_type, msg, coverage_level) (clock, reset, enable, test_expr, fire) test_expr must always hold Two Cycles ovl_always_on_edge #(severity_level, edge_type , property_type, msg, coverage_level) (clock, reset, enable, sampling_event, test_expr , fire) test_expr is true immediately fol owing the specified edge (edge_type: 0=no-edge, 1=pos, 2=neg, 3=any) Event-bound ovl_arbiter #(severity_level, width, priority_width, min_cks, max_cks, arbitration_rule, riority_check, single_gnt_check property_type, msg, coverage_level) (clock, reset, enable, reqs, gnts, priorities , fire) provides grants in response to requests, as per specified arbitration scheme and within a specified time window Single-Cycle ovl_bits #(severity_level, width , asserted , min , max , property_type, msg, coverage_level) (clock, reset, enable, test_expr, fire) checks number of asserted (or deasserted) bits is within a specified range n-Cycles ovl_change #(severity_level, width , num_cks , action_on_new_start , property_type, msg, coverage_level) (clock, reset, enable, start_event, test_expr , fire) test_expr must change within num_cks of start_event (action_on_new_start: 0=ignore, 1=restart, 2=error) Single-Cycle ovl_code_distance #(severity_level, width , min , max , property_type, msg, coverage_level) (clock, reset, enable, test_expr1, test_expr2 , fire) checks hamming distance between two expressions n-Cycles ovl_cycle_sequence #(severity_level, num_cks , necessary_condition , property_type, msg, coverage_level) (clock, reset, enable, event_sequence, fire) if the initial sequence holds, the final sequence must also hold (necessary_condition: 0=trigger-on-most, 1=trigger-on-first, 2=trigger-on-first- pipelined) wo Cycles vl_decrement (severity_level, idth alue roperty_type, msg, coverage_level) lock, reset, enable, st_expr, ire) test_expr changes, it must decrement by the value parameter (modulo 2^width) Two Cycles ovl_delta #(severity_level, width , min , max , property_type, msg, coverage_level) (clock, reset, enable, test_expr, fire) if test_expr changes, the delta must be >=min and <=max Single Cycle ovl_even_parity #(severity_level, width , property_type, msg, coverage_level) (clock, reset, enable, test_expr, fire) test_expr must have an even parity, i.e. an even number of bits asserted Event-bound ovl_fifo #(severity_level, width, depth, pass_thru, registered, enq_latency, deq_latency, preload_count, high_water_mark, value_check , property_type, msg, coverage_level) (clock, reset, enable, enq, deq, ful , empty, enq_data, deq_data, preload , fire) checks data integrity of a FIFO and ensures that the FIFO does not overflow or underflow Two Cycles ovl_fifo_index #(severity_level, depth , push_width , pop_width , property_type, msg, coverage_level, imultaneous_push_pop (clock, reset, enable, push, pop , fire) FIFO pointers should never overflow or underflow n-Cycles ovl_frame #(severity_level,
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/01/2012 for the course ING 101 taught by Professor James during the Spring '11 term at Universidad del Cauca.

Ask a homework question - tutors are online