RE: [sv-bc] Mantis 1571: Add default values for macro arguments

Hardly so. 

Shalom

> -----Original Message-----
> From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org]
On
> Behalf Of Rich, Dave
> Sent: Monday, October 23, 2006 5:52 PM
> To: Bresticker, Shalom; Steven Sharp; sv-bc@server.eda.org
> Subject: RE: [sv-bc] Mantis 1571: Add default values for macro
arguments
> 
> 
> 
> > -----Original Message-----
> > From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org]
> On
> > Behalf Of Bresticker, Shalom
> > Sent: Monday, October 23, 2006 8:36 AM
> > To: Steven Sharp; sv-bc@server.eda.org
> > Subject: RE: [sv-bc] Mantis 1571: Add default values for macro
> arguments
> >
> >
> >
> > > There are other possibilities.  They may be working around
> limitations
> > > of a particular partial implementation of SV.
> >
> > [SB] That is not the case.
> >
> > > So the question for Shalom is, what are these complex macro
> mechanisms
> > > being used for?
> >
> > [SB] One example is wrappers around different types of assertions,
> such
> > as SVA or OVL.
> [DR>] Our original point. Q.E.D.
> >
> > Another example is to inline code which performs complex register
> > instantiations.
> [DR>] Ditto
> >
> > Shalom