6.4.9 异步设计约束