Retrascope

h1. Test sequences XML representation

<?xml version=''1.0'' encoding=''UTF-8''?>

<Sequence> <!-- a sequence consists of an event list and any number of vectors -->

	<EventList> <!-- a list of events associated with all the sequence -->

		<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> <!-- a vector consists of an event list and any number of transactions -->

		<EventList> <!-- a list of events associated with this vector -->

			<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> <!-- a transaction consists of any number of signal-value pairs -->

			<Signal name="a name of the signal" value="either concrete value or constraint"></Signal>

		</Transaction>

	</Vector>

</Sequence>