RE: [sv-ec] re: soft constraints

Mehdi,

Is there any requirement that only a minimal number of soft constraints be ignored? Example(s):

class C;
  int X;
  int Y;
  constraint X_c {
    X > 10 soft;
  }
  constraint Y_c {
    Y >= 5 soft;
    Y inside {[20:30]} soft;
    Y < 10;
  }
endclass

1) Since the constraint on "X > 10 soft" is unrelated to Y I would expect it to be maintained, but t has the lowest precedence of all of the constraints, so the proposal implies that it would be the first to be ignored.
2) There is no reason to ignore the lower-priority "Y >= 5 soft" but the higher priority "Y inside {[20:30]} soft" must be ignored in order to find a solution. What is the expected/desired behavior?

-Brandon

-----Original Message-----
From: Mehdi Mohtashemi [mailto:Mehdi.Mohtashemi@synopsys.com]
Sent: Monday, August 15, 2011 10:26 AM
To: Ryan, Ray; Tipp, Brandon P; sv-ec@eda.org
Cc: Dhiraj Goswami
Subject: [sv-ec] re: soft constraints

Hi Ray and Tipp,
I have uploaded a proposal to the mantis data base for soft constraint, 2987,
http://www.eda.org/svdb/view.php?id=2987 Mantis2987_SoftConstraintsProposal.pdf
we can review this along with the email discussion from last week on this
subject.
Regards,
Mehdi

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.