RE: [sv-ac] Mantis 1674 proposal - Inferred value functions

Tom,

> Mantis 1648 has to express the same thing, but it didn't use the
> word "synthesizable".  Perhaps some language could be borrowed from
> the 1648 proposal.

I agree, but:

the 1648 proposal says,

"An asynchronous reset is detected if and only if the event control
expression of the always or always_ff block has the following form:

edge_identifier1 expression1 [ iff expression ] or edge_identifier2
expression2

Two notes:

1. A comma can be used instead of the keyword "or".

2. If a FF has both an asynchronous reset and an asynchronous set, then
there will be a third "edge_identifier expression" term. 

What to do in that case? 

Ed made two suggestions:

1. Use the second term only.
2. Logcial-OR the second and third terms together.

Thanks,
Shalom

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.