- + 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.