最上位デザインで OOC モジュールを再利用する際、標準的なデザイン制約すべてを適用できます。OOC インプリメンテーションに使用される OOC 制約は、チェックポイントに保存され、デザインに適用可能なときに適用されます。