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"></Event>

    </Transaction>

  </Vector>

</Sequence>