非线性流水线调度的一个性质的证明

非线性流水线若能被一个恒定启动循环(l)调度,则l不小于流水线通过次数最高的功能段的通过次数。