Re: [sv-bc] Proposal for Mantis 2081

Steven,

You indicate that actuals to inputs are analyzed; what about
inout and output (ignoring ref for the moment)? In particular,
if something is written in an always_comb, it isn't added to
the sensitivity list and must not be written by other routines.

     always_comb begin
           t(var1, var2);
           var3 = var2;
     end

Assume that var1 is "input" and var2 is "inout". Is the
process sensitive to var2? I think that with your wording
it would be and I don't think that it should. In addition,
would it be legal to write to var2 from another process?

My preference would be to say that input, output, inout
are analyzed as reads/writes as appropriate. I think
that I'd treat a "ref" as inout though I could probably
be convinced to treat it as non-contributing.

Gord.

On 9/7/2011 9:56 PM, Steven Sharp wrote:
>
> I have uploaded a proposal for Mantis 2081. Suggestions for minor
> changes can be sent to the reflector, and I will make them if there is
> general agreement. I uploaded it in Word format, so anybody who feels
> the need for major changes can easily take over and modify it themselves.
>
>
> --
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.