~[ exp..exp ]
True match variable repeat succeeds every time the subexpression succeeds. This expression creates a number of parallel repeat evaluations within the range.
True match repeat also enables specification of behavior over infinite sequences by repeating an infinite number of occurrences of a temporal expression.

=>
The yield operator is used to assert that success of one temporal expression depends on the success of another temporal expression. The yield expression TE1 => TE2 is equivalent to (fail TE1) or {TE1 ; TE2}.
detach
A detached temporal expression is evaluated independently of the expression in which it is used. It starts evaluation when the main expression does. Whenever the detached TE succeeds it emits an "implicit" event which will only be recognized by the main TE. The detached temporal expression inherits the sampling event from the main temporal expression.

delay
Succeeds after a specified simulation time delay elapses. Attaching a sampling event to delay has no effect. The delay ignores the sampling event and succeeds as soon as the delay period elapses.
@ unary event operator
An event can be used as the simplest form of a temporal expression. The temporal expression @event-type succeeds every time the event occurs. Success of the expression is simultaneous with the occurrence of the event.
@ sampling operator
Used to specify the sampling event for a temporal expression. The specified sampling event overrides the default sampling event.

cycle

Represents one cycle of some sampling event. With no explicit sampling event specified, this represents one cycle of the sampling event from the context.

true(exp)
Use a Boolean expression as a temporal expression. Each occurrence of the sampling event causes an evaluation of the Boolean expression. The Boolean expression is evaluated only at the sampling point.

change(exp)

Detects a change in the sampled value of an expression.

consume

Removes the occurrence of an event so that it is not available for other temporal expressions. The consume expression succeeds whenever the event occurs. If the event occurs more than once during any given cycle, all occurrences are consumed.
exec
Invokes an action block when a temporal expression succeeds. The actions are executed immediately upon the success of the expression, but not more than once per tick.

 Bạn Có Đam Mê Với Vi Mạch hay Nhúng      -     Bạn Muốn Trau Dồi Thêm Kĩ Năng

Mong Muốn Có Thêm Cơ Hội Trong Công Việc

Và Trở Thành Một Người Có Giá Trị Hơn

Bạn Chưa Biết Phương Thức Nào Nhanh Chóng Để Đạt Được Chúng

Hãy Để Chúng Tôi Hỗ Trợ Cho Bạn. SEMICON