- + Issue 904: (21) Section 3.4.2 (OOMR disciplines on behavioral nets)

[Jon Sanders, 1/22/2001]



  (21) Section 3.4.2 (OOMR disciplines on behavioral nets)
  
   
   Should be limitations on OOMR declarations of nets that are used behaviorally - should be only able to OOMR to a undeclared
   net. Therefore couldn't change the discipline of a net that was used behaviorally.
   e.g;
     module top;
     pll pll1();
     mechanical pll.f; // this should be illegal!!
     endmodule
      
     module pll (f);
     electrical f;
     analog begin
     V(f) <+ sin(w*$abstime);
     end
     endmodule
   V() is not the mechanical access function, it is the electrical access function, so is V(f) an error?!!
      
     Recommendation: Make it illegal to use OOMRs to override the discipline of nets that are behavioral. Other nets should be
     able to be overridden to aid coercion.