Topic
1 reply Latest Post - ‏2011-07-04T14:01:09Z by raghu1987
raghu1987
raghu1987
5 Posts
ACCEPTED ANSWER

Pinned topic Problem in Creating Reuirement

‏2011-07-04T13:59:07Z |
Hi,
I am trying to create a requirement for a constraint

for(<p1,l0> in L1ProdL0Loc)
label : f(p1,l0) <= g(p1,l0)

Where L1ProdL0Loc is a tuple set which gets initialized from the data of 2 ODM tables inside the .mod file.

Can someone please guide me, how to achieve this as I have tried a lot to achieve this but unsuccessful till now.
Updated on 2011-07-04T14:01:09Z at 2011-07-04T14:01:09Z by raghu1987
  • raghu1987
    raghu1987
    5 Posts
    ACCEPTED ANSWER

    Re: Problem in Creating Reuirement

    ‏2011-07-04T14:01:09Z  in response to raghu1987
    forgot to add 1 thing, I created the group which looks fine, but don't know how to write the expressions for p1 and l0.