14
CS269: HW/SW Engineering of Embedded Systems, Winter02
Quantitative Constraints on Process
loc latency(IntX p, IntX,r, intC)
Gtime.A(end(r, r.Rd), I) – Gtime.A(beg(p, p.Wr), I) < C;
Constraint {
loc latency(P0, C0, 10);
loc latency(P1, C0, 10);
loc latency(P2, C1, 10);
loc latency(P3, C1, 10);
}
m1
p0
m0
p1
p3
p2
c1
c0
refm0
w0
mb
w1
r0
w0
w1
r0
refm1