Immediate assertions does not deal with temporal domain, it checks immediate value of variable or complex expression and returns true/false status. This true/false return status can be displayed by use of action block with immediate assertions.
In above example, Line 19 and 25 shows immediate assertion with action block. If assertion is true, pass message is displayed and if its variable expression on Line 18 and 24 results to zero, assertion fails with simulator showing Error message.
In above example, Line 19 and 25 shows immediate assertion with action block. If assertion is true, pass message is displayed and if its variable expression on Line 18 and 24 results to zero, assertion fails with simulator showing Error message.
