Attaluri Posted July 21, 2014 Report Posted July 21, 2014 Hi , Could you please help me on how to print or display internal variables of property used in sva Regards, Pavan. Quote
apfitch Posted July 21, 2014 Report Posted July 21, 2014 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 1 Quote
Attaluri Posted July 22, 2014 Author Report Posted July 22, 2014 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. Quote
tudor.timi Posted July 22, 2014 Report Posted July 22, 2014 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 1 Quote
Recommended Posts
Join the conversation
You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.