wszhong631 Posted July 27, 2014 Report Share Posted July 27, 2014 Hi,I have such a question https://verificationacademy.com/forums/uvm/how-use-soft-constraint who can help me ? thanks /wszhong Quote Link to comment Share on other sites More sharing options...
apfitch Posted July 27, 2014 Report Share Posted July 27, 2014 Your soft constraint only covers the case when my_pkt is ether_pkt, so perhaps my_pkt is *not* ether_pkt, Suppose there are four packet types, and data_len is 16 bits. Then you're randomizing 18 bits, that's 262144 values. But your constraint is only satisfied for 512 of those values, so there's only a 1 in (262144/512) = 1 in 512 chance of generating the value you seem to want. regards Alan Quote Link to comment Share on other sites More sharing options...
tudor.timi Posted July 27, 2014 Report Share Posted July 27, 2014 I don't really get what your requirements are here. Do you want to have packets with a data length bigger than 512 or not? If 512 is a global global limit, then just don't make the constraint soft. Quote Link to comment Share on other sites More sharing options...
uwes Posted July 28, 2014 Report Share Posted July 28, 2014 hi, asking for help but raise the question in some other forum isnt helpful. /uwe karandeep963 and tudor.timi 2 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.