SDCファイルを検証する方法は？

[kirangu]

こんにちはどのように私はデザインのための正しいかどうかを取得SDCを検証することができますか？

 

[kbulusu]

良い方法とそれほど簡単な方法は、設計仕様を確認し、それらが意味をなすかどうかです...生成されたクロック、レイテンシ、IOの制約と最小値で、例外をチェックするを含むクロックの定義を確認し..同じパスが制約されている場合は倍のdiff制約を使用して意味矛盾する制約が存在するならば、チェック... atrentaのスパイグラスの制約のような市場に十分なツールが、あなたがそれらのいずれかにアクセスできる必要がないことに終止フォーマルな制約のデザイナー、フィッシュテイルのデザインautomation.ifがありますが、その後私は、SDCとデザインを実行を示唆し、タイミングレポートを解析する必要があり、いずれかが有効であれば違反かどうかを確認..これが役に立てば幸い...