时序约束与功耗优化