現在定義されている DRC のリストを取得するには、Tcl コマンドの get_drc_checks を使用します。詳細は、 『Vivado Design Suite Tcl コマンド リファレンス ガイド』 (UG835) の get_drc_checks および 『Vivado Design Suite ユーザー ガイド: Tcl スクリプト機能の使用』 (UG894) を参照してください。