DEFABBREV : IF -vs- MY-IF Specification may use IF statements on data variables Unspecified data variables result in case split Exhibits exponential behavior in multicycle simulations Possible solution : "my-if" functions Doesn't provide lazy evaluation : STOBJ issue Simulation performance impact : function call overhead