Theorem 4. Let G = (V,E) be an acyclic timing constraint graph with a block partition P. A linear block B∈ P is past-dominated if 1. ∀u ∈ trigs(B),v ∈ B ...
確定! 回上一頁