Test sequences XML representation¶

<Sequence>
<EventList>
<Event name="a name of a signal associated to the event" type="an event type (possible values: NEGATIVE_EDGE, POSITIVE_EDGE, ANY_EDGE)"></Event>
</EventList>
<Vector>
<EventList>
<Event name="a name of a signal associated to the event" type="an event type (possible values: NEGATIVE_EDGE, POSITIVE_EDGE, ANY_EDGE)"></Event>
</EventList>
<Transaction>
<Signal name="a name of the signal" value="either concrete value or constraint"></Event>
</Transaction>
</Vector>
</Sequence>