RE: [sv-ac] AC 196 - optional type spec?

Adam,
I would like to focus on the regular datatypes for this proposal.
An additional data-type for sequences and properties should be given in the next round.
Thanks
Hillel

-----Original Message-----
From: Adam Krolnik [mailto:krolnik@lsil.com]
Sent: Tuesday, November 16, 2004 7:57 PM
To: Miller Hillel-R53776
Cc: 'Eduard.Cerny@synopsys.com'; Sv_Ac
Subject: Re: [sv-ac] AC 196 - optional type spec?

Hello Eduard;

As Brad Pierce wrote:

>The old portlist-style and the V2K prototype-style port declarations
>cannot be mixed in a module declaration. It's one or the other.

Sequences and properties should follow this restriction and allow only:
     no types on formal arguments
  or required types on all formal arguments.

This consistency will be helpful to the user trying to recall the possibilities.
Yes, I do understand that there is no specification for a sequence or property type.
Why not propose a way to do this?

     THanks.

     Adam Krolnik
     Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074
     Co-author "Assertion-Based Design"
Received on Tue Nov 16 10:00:11 2004