Subject: timing diagrams for on-the-fly examples
From: Adriana Maggiore (adriana.maggiore@transeda.com)
Date: Tue Oct 01 2002 - 03:59:03 PDT
Hello,
Please find attached the timing diagrams to complete the examples of
on-the-fly and
non on-the-fly properties on page 3 of the LRM.
The attached version is in pdf format and I have sent Erich a framemaker
version.
Here is a suggestion for the figure captions:
Figure 2 - A trace which satisfies "always (a -> next[3] b)"
Figure 3 - A trace which satisfies "always ((a & next[3] b) -> c)"
What follows is a suggestion on how to refer to the figures from the
text:
>From line 40:
...to the left of b in a timing diagram (which is not a violation of the
property).
Figure 2 shows an example of such a timing diagram.
>From line 47:
...it appears to the left of b in a timing diagram (which is not a
violation
of the property). Figure 3 shows an example of such a timing diagram.
Best regards,
Adriana
-- Adriana Maggiore TransEDA Tel: +44 (0)23 80 683523 4th floor, Black Horse House Fax: +44 (0)23 80 650805 Leigh Road, Eastleigh adriana.maggiore@transeda.com Hampshire, SO50 9FH, UK
This archive was generated by hypermail 2b28 : Tue Oct 01 2002 - 04:06:34 PDT