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.
This topic has been locked.
1 reply Latest Post - 2011-07-04T14:01:09Z by raghu1987
Pinned topic Problem in Creating Reuirement
Answered question This question has been answered.
Unanswered question This question has not been answered yet.
Updated on 2011-07-04T14:01:09Z at 2011-07-04T14:01:09Z by raghu1987