Use of Assert Statements

Syntax of the ASSERT statement

ASSERT condition
   REPORT "violation statement"
   SEVERITY level;

The violation statement must be enclosed in quotes

ASSERT (NOT ((j='1') AND (k='1')))
   REPORT "Set and Reset are both 1"
   SEVERITY ERROR;