}Dynamic Slack or Dynamic
Occupancy Formula for N buffers:
}
}
}
}
}
}Assumptions:
}Tokens not stalled by buffers or BitBucket resetting
}Tokens inserted at rate of local cycle time (FL + BL)
}Tokens consumed at rate of local cycle time
}Can be as small as N/9 (depending on circuit type)