Skip to content

Instantly share code, notes, and snippets.

@vlsi1217
Created February 12, 2014 00:09
Show Gist options
  • Save vlsi1217/8947225 to your computer and use it in GitHub Desktop.
Save vlsi1217/8947225 to your computer and use it in GitHub Desktop.
lesson 4: Move Coverage to Monitor
GUIDANCE
Add coverage from cur_pkt inside the monitor
Items: length, packet_kind
Transition: length
SYNTAX
Reference fields from struct
item ITEM_NAME : TYPE = OBJECT_NAME.FIELD_NAME;
<'
extend packet_monitor_u {
cover pkt_detected_e is {
// add items here
item length : uint(bits:6) = cur_pkt.length;
item packet_kind : packet_kind_t = cur_pkt.packet_kind;
// add transition here
transition length;
};
};
'>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment