print internal variables of property in sva

[Attaluri]

Hi ,

  Could you please help me on how to print or display internal variables of property used in sva

Regards,

Pavan.

[apfitch]

A code example would help - but can't you just use $display?

If you're using Questa and you've got the correct license features, the Assertion Thread Viewer is nice,

 

Alan

[Attaluri]

Hii Alan ,

Thanks for the Reply.

Below is the example.

 

  property p_period;

    realtime current_time; 

    disable iff (!nreset)

    ('1, current_time = $time) |=> (clk_period == ($time - current_time));

  endproperty : p_period

 

to display current_time variable in above property ?

 

Regards,

Pavan.

[tudor.timi]

Hi Pavan,

 

You can just add a display in the first action block:

  property p_period;
    realtime current_time; 
    disable iff (!nreset)
      ('1, current_time = $time, $display("current time is ", current_time))
        |=> (clk_period == ($time - current_time));
  endproperty : p_period

You are allowed to have as many actions there as you want.

[Attaluri]

Thanks Tudor.