静的タイミング解析で、悲観的になりやすい通常の解析の結果を、違反した経路について実際の信号の伝わり方にもとづいて詳しく再計算し、余分な余裕を取り除く手法を何と呼ぶか。

正解：B. パスベース解析(PBA)

通常のグラフベース解析(GBA)は、各ノードで最悪の遷移時間を使うため、実際にはありえない悲観的な結果になることがあります。パスベース解析では、特定の経路に沿った実際の遷移時間を使って再計算するため、より正確な遅延が得られ、不要な修正を減らせます。ただし計算量が多くなります。

• A. DRCはレイアウトの図形の規則の検査です。
• B. 正しい。経路ごとに詳しく再計算する手法です。
• C. GBAは高速ですが悲観的になりやすい通常の解析です。