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

Info icon This 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 following 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, priority_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- unpipelined) Two Cycles ovl_decrement #(severity_level, width , value , property_type, msg, coverage_level) (clock, reset, enable, test_expr, fire) if 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, full, 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, simultaneous_push_pop ) (clock, reset, enable, push, pop , fire) FIFO pointers should never overflow or underflow n-Cycles ovl_frame #(severity_level, min_cks , max_cks , action_on_new_start , property_type, msg, coverage_level) (clock, reset, enable, start_event, test_expr , fire)
Image of page 1
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern