Define a refinement “pattern”:
1. Define objects that constitute the refinement.
2. Define connections among the refinement objects.
3. Specify connections with objects outside the refinement
netlist:
Some objects in the refinement may be
internally created; others may be given externally.
write a constructor of the refinement netlist for each
refinement scenario.
Question: Is it also a behavior equivalence or behavior
(trace) refinement?