Re: [sv-bc] always_comb LRM e.g. wrong?

From: Surya Pratik Saha <spsaha_at_.....>
Date: Thu Feb 28 2008 - 06:19:35 PST
Sorry,
The draft also has the text. But all the standard tools pass the case. 
So what is illegal there in always_comb is not clear.

Regards
Surya



-------- Original Message  --------
Subject: [sv-bc] always_comb LRM e.g. wrong?
From: Surya Pratik Saha <spsaha@cal.interrasystems.com>
To: sv-ec@eda.org, sv-bc@eda.org
Date: Thursday, February 28, 2008 7:46:15 PM
> Hi,
> In SV 1800-2005 LRM page 146 there is an e.g.:
> *always_comb
> d <= #1ns b & c;
> *
> Also it is mentioned there:
> *Statements in an always_comb shall not include those that block, have 
> blocking timing or event controls, or fork...join statements.
>
> *With that context, the e.g. is wrong as a blocking timing control is 
> present. SV 1800-2008 draft4 version removes that restriction. Is it 
> purposefully done?
> -- 
> Regards
> Surya
>   
>
> -- 
> 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.
Received on Thu Feb 28 06:21:27 2008

This archive was generated by hypermail 2.1.8 : Thu Feb 28 2008 - 06:21:43 PST