Vivado 2013.3 で導入された新しい DRC (methodology_checks および timing_checks ルール デック) を使用して、デザイン制約の問題およびパフォーマンスのボトルネックを検出する方法を説明します。