RE: [sv-ac] RE: Call to vote: Due May 16

Mantis 3213 ___ Yes __ x __ No

http://www.eda-stds.org/mantis/view.php?id=3213

http://www.eda-stds.org/mantis/file_download.php?file_id=5003&type=bug

Here are my comments:

I do not understand the logic for picking up past value from postponed region of previous clock tick. Shouldn't the past value be picked up based on what assertions used in the previous clock tick ? I am wondering about checker vars which are assigned non-blockingly (in Re-NBA). Similarly the statement about $future_gclk(v) picking up value from the postponed region is not clear to me. Shouldn't the values be based on what assertions see in Observed region. If an assertion is using $future_gclk(), does that mean the assertion has to be evaluated in Postponed region ?

 Mantis 3385 __X_ Yes ____ No

http://www.eda-stds.org/mantis/view.php?id=3385

http://www.eda-stds.org/mantis/file_download.php?file_id=4999&type=bug

-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is 
believed to be clean. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.