[sv-ac] Relaxing rules for dynamic data types

Hi all:

In the last meeting there was a discussion about allowing assertion expressions to reference dynamic data types. My understanding is that the two primary areas of concern are:

1. What to do if the object does not exist? My thought here is that it is simply an error if the object does not exist when it is referenced. I would suggest wording as follows:

- If the expression references a dynamic variable and the value of that variable is not defined when the value is captured for evaluation, then the tool shall generate an error message.

2. How do we sample these objects. I was initially confused on this point as I assumed that they would be sampled in the preponed region just like other objects. Ed helped me understand that this is more of an implementation issue.

Do folks see other issues with allowing assertions to reference dynamic data types? Maybe we can spend a few moments during the meeting today discussing some of the implementation concerns.

Thanks,
Scott

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