論理合成や静的タイミング解析で、クロック周期や入出力の遅延などのタイミングの条件を記述したものを何と呼ぶか。

正解：B. タイミング制約(SDCなど)

タイミング制約には、クロックの周期や波形、入出力ポートの遅延、タイミングを検証しない経路の指定などが記述され、SDC形式などで書かれます。ツールはこの制約を満たすように回路を最適化し、検証します。制約が誤っていると、正しく動かないチップができてしまいます。