Home > Community > Forums > Functional Verification > Generate random MIN and MAX value from a range of values

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Generate random MIN and MAX value from a range of values 

Last post Wed, Aug 1 2012 5:59 AM by StephenH. 1 replies.
Started by bharathwajan 01 Aug 2012 05:50 AM. Topic has 1 replies and 1906 views
Page 1 of 1 (2 items)
Sort Posts:
  • Wed, Aug 1 2012 5:50 AM

    Generate random MIN and MAX value from a range of values Reply

    Hi All,

     I would like to know if there is any efficient way to generate a random min and max value from a range of  values?

    i have a range VAL1 to VAL2... I need to generate a min_val and max_value within this range such that min_val >=VAL1 and max_val>min_val and max_val<=VAL2 

    I am not able to use a variable in the keep constraint.

    keep MIN_VAL  in [VAL1.. VAL2]

    keep MAX_VAL in [MIN_VAL  .. VAL2] -- NOT POSSIBLE

     So is there any work around without using 'gen' inside while? 

     

    Thank you !!!

     

    Cheers,

    Bharath. 

     

     

    • Post Points: 20
  • Wed, Aug 1 2012 5:59 AM

    • StephenH
    • Top 25 Contributor
    • Joined on Tue, Sep 2 2008
    • Bristol, Avon
    • Posts 258
    • Points 4,100
    Re: Generate random MIN and MAX value from a range of values Reply

    Why not just tell the solver what you just told us?

    keep min_val >= VAL1;

    keep min_val < max_val;

    keep max_val <= VAL2;

    You don't gain any efficiency from using "in" or reducing the number of constraints here. VAL1 and VAL2 can be variables or constants.

    Steve Hobbs / Applications Engineer / Cadence Functional Verification
    Filed under: ,
    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by bharathwajan at 01 Aug 2012 05:50 AM. Topic has 1 replies.