PDM ユーザー インタフェースは、無効なデータ入力を防ぐように設計されていますが、すべての値を検証することはできません。PDM は、デザイン ルールチェック (DRC) を実行することで、無効な結果の原因となる入力項目に注目します。データが入力されると自動的に DRC が実行され、計算が更新されます。
よくある DRC 違反は、リソースの過剰使用です。次は、使用可能な量を超えるレジスタが原因でロジック シートに DRC 違反が発生した例を示しています。
図 1. デザイン ルール チェック