CODEWITHSUNDEEP
verilogsystem-verilog
user1220086
user1220086

Reputation: 215

ovl unspecified number of clocks

is there a way to use ovl (for example an ovl_change) to check that a signal changes an unspecified number of clocks after an event? The spec lists a num_clks that must be specified, I am wondering if there is a way to make this num_clks field infinite (or if there is another way of using ovl where you don't need to specify the num_clks).

Upvotes: 1

Views: 175

Answers (1)

Greg
Greg

Reputation: 19112

Set num_clks to $.

I'm assuming that OVL is making a template over SVA and therefor $ would represent an unlimited range for an assertion. If it is not in an assertion format, hopefully it is still following IEEE Std 1800 and supports and uses $isunbounded. See section 22.4 in IEEE Std 1800-2005 or section 20.6.3 in IEEE Std 1800-2012 for more about $isunbounded.

Note, you may be limited by the OVL version's capabilities. You may need to find and visually inspect the OVL source code to know for sure.

Upvotes: 2

Related Questions