i've no idea about how to write expect/assume with e language......
code is like this:
expect a_ev is
@b_ev => TE @default_sample_event
i run the simulation,the log does not contain the ev_cnt info.......and the assertion of a_ev has passed, not menthion that compile phase has passed.so,what happened????does the assertion of e really work?or the event is not emitted?????
that is to say the event-name in expect is not the event.i define the event without explicit temporal expression,then expect it with a certain TE, the event should never occur????