Verification

检查信号是否大于（或等于）静态下限。

检查信号是否小于（或等于）静态上界。