CS269: HW/SW
Engineering of Embedded Systems, Winter02
Refinement
RefIntM
IntM
w0
ByteM
wk
r0
refine
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.
1. Create objects as needed.
2. Define connections among the refinement objects.
3. Specify connections with objects outside the refinement
netlist:
(a) object being refined is connected by another object.
(b) object being refined connects to another object.
M
port1
p
refine M
w
refineconnect(this, P, port1, w);
m
port1
X
refine X
redirectconnect(this, X, port1, rx,
port1);
port1
rx