Stats

  • Locked Locked
  • Replies 3
  • Subscribers 65
  • Views 14260
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

re: new version 14.10-s012 with assertions

Srikanth Madam

Hi,

i have written a simple assertion to check for 2 pulse as

property(p1);

     @(posedge clk)

      ($rose(in1) ##1 $fell(in1)) |-> ##[1:$] ($rose(out1) ##1 $fell(out1));

endproperty

Assuming at out1 is remains as 0(zero) through out the simulation. I should get assertion failure at the end of the simulation, but instead it is not giving messages (like vacuous success). But with the older version i am getting failure message. So help me out here.

Thanks

Srikanth M.

Parents

  • Can you add the "–abvevalnochange" switch and see if it makes a difference?

    This is a compile time option that enables assertion evaluation even if the assertion input variables/expressions are not changing. By default such assertion evaluations are optimized out.

Reply

  • Can you add the "–abvevalnochange" switch and see if it makes a difference?

    This is a compile time option that enables assertion evaluation even if the assertion input variables/expressions are not changing. By default such assertion evaluations are optimized out.

Children
No Data

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.