RE: [sv-bc] 8.13.2: $display(unpacked struct)

331 is an enhancement request.

My report is that this should not appear in an example in the LRM since
the behavior is undefined. It makes it appears as though the behavior is
defined.

Can you tell us what those simulators that do not error do do?

Shalom

> -----Original Message-----
> From: Rich, Dave [mailto:Dave_Rich@mentor.com]
> Sent: Sunday, April 09, 2006 8:53 AM
> To: Bresticker, Shalom; sv-bc@eda.org
> Subject: RE: [sv-bc] 8.13.2: $display(unpacked struct)
> 
> This is mantis 331. The 1364 LRM has no rules for restricting
> unformatted expressions in $display, and we haven't defined the
> behavior
> of $display when it has aggregate data types. At least 2
> simulators I
> know of do not error on the second $display.
> 
> Dave
> 
> http://www.eda.org/svdb/bug_view_page.php?bug_id=0000331
> 
> > -----Original Message-----
> > From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On
> Behalf Of
> > Bresticker, Shalom
> > Sent: Saturday, April 08, 2006 10:32 PM
> > To: sv-bc@eda.org
> > Subject: [sv-bc] 8.13.2: $display(unpacked struct)
> >
> > 8.13.2 has the following example:
> >
> > typedef struct {
> >   int x;
> >   int y;
> > } st;
> >
> > st s1;
> > int k = 1;
> >
> > initial begin
> >   #1 s1 = '{1, 2+k}; // by position
> >   #1 $display( s1.x, s1.y);
> >   #1 s1 = '{x:2, y:3+k); // by name
> >   #1 $display( s1);
> >   #1 $finish;
> > end
> >
> > The second $display takes as an argument the entire unpacked
> struct
> s1.
> > This looks like an error. The second $display should be the
> same as
> the
> > first.
> >
> > Shalom
> >
> > Shalom Bresticker
> > Intel Jerusalem LAD DA
> > +972 2 589-6852
> > +972 54 721-1033
> > I don't represent Intel