Re: [sv-ac] formal types proposal

From: Adam Krolnik <krolnik_at_.....>
Date: Thu Jun 29 2006 - 12:38:36 PDT
Hello all;

Is there a need for this?

o void: used when there are no data type restrictions, meaning that any type is 
acceptible. The implicit type (that of the declaration of the argument) is used for 
any semantic checks.  This is equivalent to listing the argument prior to any typed 
arguments.

Can a sequence or property instance be used in place of a signal or expression?
Can a signal or expression be used in place of a sequence or property instance?
Or are there problems that prevent any type from being used?

Examples may help showing this in the LRM.

    Thanks.
-- 
     Soli Deo Gloria
     Adam Krolnik
     ZSP Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074
     Co-author "Assertion-Based Design"
Received on Thu Jun 29 12:38:48 2006

This archive was generated by hypermail 2.1.8 : Thu Jun 29 2006 - 12:38:59 PDT