John, all,
there is in fact an issue with respect to the process control corner
cases. It's in the description of enable (5.6.6.2) on page 83, lines
61f, where the draft says:
"[CHANGE] Calling enable shall under no circumstances cause the
target process instance to become runnable."
This effectively prohibits one of the alternatives for an implementation
to define the disable/resume interaction (5.6.6.11, page 90, lines 53ff)
in one of the corner cases.
Are there pressing reasons to add this restriction to the standard?
The rest looks good to me, also the annex with the changes between
P1666-2005 and P1666-2011. Very useful indeed.
Greetings from Oldenburg,
Philipp
On 05/05/11 18:19, john.aynsley@doulos.com wrote:
> Folks,
>
> I have uploaded a draft P1666 SystemC LRM for review prior to the
> recirculation ballot. Stan wants to start the ballot as soon as
> possible, so please review the LRM and shout on this reflector if you
> see any show-stoppers.
>
> Every change to the document made since the first ballot has been marked
> [CHANGE] and shown in red, so simply search for "[CHANGE]" in your PDF
> viewer. You will see that I have replaced Annex D with a fairly
> comprehensive list of changes.
>
> You can find the draft LRM at:
>
>
> http://www.eda.org/twiki/pub/P1666/WebHome/1666-2011_May_05_11.pdf
> <http://www.eda.org/twiki/pub/P1666/WebHome/1666-2011_May_05_11.pdf>
>
-- Philipp A. Hartmann Hardware/Software Design Methodology Group OFFIS Institute for Information Technology R&D Division Transportation · FuE-Bereich Verkehr Escherweg 2 · 26121 Oldenburg · Germany · http://www.offis.de/ Phone/Fax: +49-441-9722-420/282 · PGP: 0x9161A5C0 · Skype: phi.har -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu May 5 13:10:12 2011
This archive was generated by hypermail 2.1.8 : Thu May 05 2011 - 13:10:14 PDT