Recursive Properties - SVA: The Power of Assertions in SystemVerilog - page 401

Which properties are recursive and which are nonrecursive?

17.11. Let a and b be Booleans. Determine whether any of the following declara-
tions or instances violates the restrictions on recursive properties.

property p1( sequence s, property p);

1

s |=> p;

2

endproperty

3

property p2( property q);

4

q or p1(a, q or p1(b, p2(q)));

5

endproperty

6

property p3( sequence s);

7

s |=> p2( weak (s)) and p3(s ##1 s);

8

endproperty

9

Which properties are recursive and which instances are recursive?

17.12. Explain why the following code is illegal:

property fib( int unsigned a, b, n, sig);

1

if (n>0)

2

sig == a and nexttime fib(b, a+b, n-1, sig);

3

endproperty

4

How can the declaration be modified to make it legal, while preserving the intent of
the original code?