úÎ oÔ  Verification directives. Sequence must be excited. EProperty is assumed to be true. Becomes an assertion in simulation. Property must be true. LTL (and other) expressions. Class of numbers or booleans. *Class of booleans or regular expressions. Class of booleans or formulas.  £Check VCD data against a set of verification directives. Returns a list of violations with time of failure (Just: safety violation, Nothing: liveness violation).          ! ltl-0.0.0 Language.LTL DirectiveCoverAssumeAssertEFRBNcheckVCDImplyUntil'Next'FormulaFormula'ManyEmptyOrAndNotInfusionSequenceLtEqMulSubAddVarNBBRBF