assertionとassumption

assertionはその処理が正しく行なわれることをあらわす概念で、あるモジュールにassertionが設定されているとき、そのモジュール内での処理においてassertionの規定に違反しないことが期待される。

assumptionは仮定・想定の意味で、あるモジュールにassumptionが設定されているとき、そのモジュールに対する入力がassumptionの規定に違反しないことが期待される。

つまり、assertion/assumptionが設定されている場合、assumptionに違反しない入力に対してassertionに違反しない動作をする必要がある。

OVLではproperty_typeに`OVL_ASSERTを設定することでassertionを示し、`OVL_ASSUMEを設定することでassumptionを示す。