Re: [sv-ac] Enhacements submitted

Dmitry,
 
Regarding the type query functions of 1647, a few questions --
 
   1)  "is a Boolean expression, i.e., it may be used as a condition of
a procedural if statement"  But any packed vector could be used as such
a condition.

   2)  Why can't these also be called on a data_type?

   3)  Why only these few?  Why not, for example, $issigned, as
discussed in
 
          http://www.eda-stds.org/sv-bc/hm/4866.html
 
       or $isstring, $isreal, etc.

   4)  What are the return types?

   5)  Do these functions evaluate their arguments?

   6)  Can they be called in a constant expression?

-- Brad
                   

________________________________

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Korchemny, Dmitry
Sent: Tuesday, October 24, 2006 8:14 AM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Enhacements submitted



Hi all,

 

I submitted three detailed proposals following my presentations:

 

1646 - Generate constructs within properties and sequences

1647 - Type query functions

1648 - Default reset for assertions

 

Thanks,

Dmitry