Subject: [sv-bc] clarification please
From: Guillermo Maturana (maturana@sbcglobal.net)
Date: Wed Sep 10 2003 - 16:14:30 PDT
Can someone please help me understand the semantics of bind?
In 17.14 it says "the program becomes part of the bound object.
The names of assertion-related declarations can be referenced
using the ...".
So taking the first example from page 188, code in fpu_props
could access items from cpu by upward hierarchical references
as in
program fpu_props(...);
...
cpu.foo
...
cpu.func(cpu.foo)
...
endprogram
assuming foo was a net, and func was a function in cpu.
Furthermore, from cpu one could access items in fpu_props
as in
module cpu(...);
...
fpu_rules_1.fp_item
...
endmodule
It seems to me that the first sentence in the qoute should say
"an instance of the program is created in the bound object".
This seems clearer than the way it reads now (now it seems as
if the program was inlined). An alternative description is to say
the bind construct can be thought of as a "remote instantiation".
As an implementation note, this could cause module splitting
when binding to module instances.
_Matute
This archive was generated by hypermail 2b28 : Wed Sep 10 2003 - 16:13:05 PDT