Analysis Steps

Step 1: Process graph and rate constraints

Step 2: Check constraint consistency

Step 3: Rate analysis to determined effective rates

• use monotonicity lemma for bounds checking
• determine critical cycles
• effective rates in presence of predecessor constraints

Step 4: Check constraint satisfiability

• must subsume

Step 5: Process critical cycles

• determine self loops.

Previous slide

Next slide

Back to first slide

View graphic version