Hi Shabtay, > I think that we are in agreement on the technical conclusion. But the > language in the spec did not enforce that the C-Side will also entirely > stopped when the HDL side is running (aka alternating semantics) and > thus we should add this language to the spec. I don't think the language should state explicitly that the C side should be stopped while the HDL side is running. It should state that the implementation must guarantee determinism and explain it in terms of alternating semantics. I'm sure this is what you meant, but I think there are some fine points here. One of the problems is that it is difficult to precisely define what C side means. I think we would get a precise definition if we spoke in terms of actions on pipes and what is expected to happen, but that may be more work than we are able to do right now. That is, I was thinking of some sort of operational semantics. Per -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Nov 29 05:57:35 2007
This archive was generated by hypermail 2.1.8 : Thu Nov 29 2007 - 05:57:43 PST