RE: [sv-bc] Assignment compatibility after elaboration

Greg, 

> >>> Do you have a case where it would matter to a synthesis tool?
> >> Yes.  Are they rare?  Once you adopt a coding style that relies on 
> >> type parameters or types declared in interfaces, this 
> issue comes up 
> >> immediately.
> > 
> > At least for type parameters, it was explained that it 
> should not be a 
> > problem.
> 
> ??

I was thinking of this example from Surya:

module bottom;
   parameter type pt = int;
   pt x;
endmodule

module top;
   typedef struct {int x; int y;} et;
   bottom #(et) b1();
   bottom #(et) b2();
   initial begin
      b1.x = b2.x;
   end
endmodule

Shalom

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