wszhong631 0 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 post Share on other sites
apfitch 207 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 post Share on other sites
tudor.timi 53 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 post Share on other sites
uwes 20 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 tudor.timi and karandeep963 2 Quote Link to post Share on other sites
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.