RE: [sv-ac] question about local variable declarations

Yes, var is required in that case, as well as a few others.

'var' was inserted as a late addition to the 1800-2005 LRM as part of an
enhancement that added data types to wires. You can now have

wire [data_type] list_of_wire_identifiers

as well as

[var] data_type list_of_variable_identifiers

So making the 'var' keyword optional is really to keep thinks backwards
compatible with 1364-2005

> -----Original Message-----
> From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
On
> Behalf Of Eduard Cerny
> Sent: Tuesday, January 09, 2007 9:07 AM
> To: john.havlicek@freescale.com; sv-ac@server.eda-stds.org
> Subject: RE: [sv-ac] question about local variable declarations
> 
> Perhaps for a declaration which inherits a type:
> 
> var type(a&b) x;
> 
> ed
> 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On
> > Behalf Of John Havlicek
> > Sent: Tuesday, January 09, 2007 11:58 AM
> > To: sv-ac@eda-stds.org
> > Subject: [sv-ac] question about local variable declarations
> >
> > All:
> >
> > I'm doing some homework for 1668, and I am puzzled by
> > our current syntax for local variable declarations.
> >
> > We have
> >
> >    assertion_variable_declaration ::=
> >       var_data_type list_of_variable_identifiers ;
> >
> > and
> >
> >    var_data_type ::= data_type | var data_type
> >
> >
> > Was it intended to allow the "var" keyword?  To what
> > purpose?
> >
> > J.H.
> >
> > --
> > This message has been scanned for viruses and
> > dangerous content by MailScanner, and is
> > believed to be clean.
> >
> >
> 
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 


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