venkatasubbarao_Sutrave Posted October 30, 2018 Report Share Posted October 30, 2018 Can we use $display in property assertions, I am trying to use display statement in the assertion property, as shown below, but I am getting an error as follows Errors Error-[SE] Syntax error Following verilog source has syntax error : "/vobs/asic_adc_dac_testchip/hydra_t/SE/assertions/hydra_t_strobe_assertions.sv", 89: token is '$display', column 84 (1, current_time = $time) |=> @(ev_data_delay) ($time - current_time) $display("\t **setup_hold_checker**= %d ",($time - current_time) ) > (SETUP_TIME+HOLD_TIME); property setup_hold_checker; time current_time; @(posedge (clk ^ CK_EDGE_SEL)) disable iff (~resetn || disable_assertion) (1, current_time = $time) |=> @(ev_data_delay) ($time - current_time) $display("\t **setup_hold_checker**= %d ",($time - current_time) ) > (SETUP_TIME+HOLD_TIME); endproperty: setup_hold_checker Quote Link to comment Share on other sites More sharing options...
Mitesh Patel Posted June 20, 2019 Report Share Posted June 20, 2019 Following code will help you. property setup_hold_checker; time current_time; @(posedge (clk ^ CK_EDGE_SEL)) disable iff (~resetn || disable_assertion) (1, current_time = $time) |=> @(ev_data_delay) ($time - current_time) ##0 (1,$display("\t **setup_hold_checker**= %t ",(($time - current_time) > (SETUP_TIME+HOLD_TIME)))); endproperty Regards, Mitesh Patel Quote Link to comment Share on other sites More sharing options...
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.