Parse an
(vl-parse-immediate-assertion-statement &key (tokstream 'tokstream) (config 'config)) → (mv errmsg? value new-tokstream)
SystemVerilog-2012 grammar:
immediate_assertion_statement ::= simple_immediate_assertion_statement | deferred_immediate_assertion_statement simple_immediate_assertion_statement ::= simple_immediate_assert_statement | simple_immediate_assume_statement | simple_immediate_cover_statement deferred_immediate_assertion_statement ::= deferred_immediate_assert_statement | deferred_immediate_assume_statement | deferred_immediate_cover_statement simple_immediate_assert_statement ::= 'assert' '(' expression ')' action_block simple_immediate_assume_statement ::= 'assume' '(' expression ')' action_block simple_immediate_cover_statement ::= 'cover' '(' expression ')' statement_or_null deferred_immediate_assert_statement ::= 'assert' '#0' '(' expression ')' action_block | 'assert' 'final' '(' expression ')' action_block deferred_immediate_assume_statement ::= 'assume' '#0' '(' expression ')' action_block | 'assume' 'final' '(' expression ')' action_block deferred_immediate_cover_statement ::= 'cover' '#0' '(' expression ')' statement_or_null | 'cover' 'final' '(' expression ')' statement_or_null