[sv-ec] Clarification needed on distribution and contraint solving

I am forwarding a question from a collegue at Cadence:
If that is necessary I can enter an errata to track this issue. Please let
me know.
 
It is unclear on how distributions and constaints are solved. Can you please
specify what should occur in the following
cases:
 
1. With the lack of solve-befores, are distributions solved concurrently
with all other constraints?
 
2. When distribution constraints contradict with other constraints, what is
the expected behavior of the simulator? As an example, the following three
constraints cannot be satisfied concurrently...
 
  x dist { 0 := 90, 1 := 10 }; // x is more likely to be 0
  y dist { 0 := 10, 1 := 90 }; // y is more likely to be 1
  constraint c { x == y; }
 
How does LRM treat this situation?
 
Francoise
       '
 
Received on Fri Oct 15 18:40:24 2004