遅延モデル

回路部品（ゲート、配線）の遅延に対する仮定

Fixed delay model

ゲート、配線遅延は固定

Bounded delay model

ゲート、配線遅延は、ある与えられたintervalの任意の値

Unbounded delay model

ゲート、配線遅延は、任意の有限の値