Subject: Property examples in Sugar
From: Bernard Deadman (bdeadman@sdvinc.com)
Date: Mon May 07 2001 - 11:11:46 PDT
Cindy,
Thanks for your presentation on Thursday - I thought you did a great job to
keep it moving along in the circumstances.
As you know I am particularly interested in how some of the properties you
separately proposed can be implemented in Sugar, in particular I wonder if
you could show me how you support :
#9 "The address queue ptr increment consecutively (cyclic). In other
words, every time that an address is entered into the queue with queue ptr
= N, the next time that an address is entered into the queue, the address
will be N+1 (cyclically)."
Can you save and subsequently access the previous address value from within
the temporal expression? Does Sugar support the ability to allocate and
reference variables?
#11 "The data that returns for read is the last data that was written to
the register before the read was issued."
#15. "Two consecutive writes cannot be to the same address"
Again, how do you save and compare data or is it your assumption that these
properties would span two or more transactions?
#8 "If a write command starts and size=N (N=1 through 8), then N assertions
of signal "gx_start" should occur before the LAST bit goes active."
#13 "A write request of a certain transfer size will result in an
equivalent number of data transfers."
Does this imply that you support a variable form of repeat counter where
the count can be set by some expression related to the data or address value?
#14. "For every write, data transfers must alternate between odd and even
entries. In other words, if there is a write, then as long as we are
transferring data belonging to this write, consecutive data transfers must
alternate between even and odd addresses."
I am really intrigued to see how this is coded!
I note that you have separately suggested property #5 should be clarified as
"if an urgent request is issued, then it should be the next handled,
regardless of whether there are older requests pending"
Thanks again for your help,
Bernard
====================================================================
SDV Inc. 9111 Jollyville Rd, Suite 102, Austin, TX 78759 USA
Phone: (512) 231-9806 xt 101 FAX: (512) 231-9807 Mobile: (512)
431-5126
Email: bdeadman@sdvinc.com Website: www.sdvinc.com
This archive was generated by hypermail 2b28 : Mon May 07 2001 - 11:16:12 PDT