Re: [sv-ac] Call to vote: Due January 31

Hello Everyone,

My Votes:
>
>
>
> Mantis 1933 __x__ Yes ____ No
>
> http://www.eda-stds.org/svdb/view.php?id=1933
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=4737&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=4737&type=bug>
>
>
>
> Mantis 2412 ____ Yes __x__ No
>
> http://www.eda-stds.org/svdb/view.php?id=2412
>
> http://www.eda-stds.org/mantis/file_download.php?file_id=4733&type=bug
> <http://www.eda-stds.org/mantis/file_download.php?file_id=4733&type=bug>
>

I agree with Scott that assertion a2 is illegal. I think a2 should be
written as follows:
        a2: assert property (@(posedge clk_e1) a |=> e5.triggered);
Then the triggered would be allowed.

Assertion a3 also looks like it needs to use e4.matched.

Tom

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