[sv-ec] scope of external constraints unspecified

 
Is it legal to have the external constraint declared in the module which is
importing the class type from a
package? Or do external constraints need to be in the same design unit scope
as where the constraint declaration
appears?
I do not see anything specified regarding this in section 13.4.1 of the LRM
which describes external constraints.
 
Ex:
 
package p;
class A;
 rand bit [3:0] a_bit;
constraint c1; 
endclass 
endpackage 

module top ();
import p::*;
 
constraint A::c1 {a_bit inside {[1: 4]};}
endmodule
 
 
Now if we do allow this, what happens if different modules importing the
package have a different constraint
definition?
 
Francoise
       '