RE: [sv-bc] Proposal for 1750 %p and %0p

Dave,
 
It looks good, but I would just have the new text, beginning "An
unpacked data type is traversed," begin a new paragraph.
 
Looking at the existing text, I see a little room for confusion. The
text starts,
"The %p format specifier may be used to print aggregate expressions such
as unpacked structures, arrays, and unions. For both packed and unpacked
data types, it shall print the value as an assignment pattern with named
elements."

The first sentence examples are all unpacked. The second sentence
mentions both packed and unpacked types.

Then, "An unpacked data type is traversed until reaching a singular data
type," again unpacked only.

I find the text unclear as to how a packed data type should be printed.

Thanks,

Shalom


________________________________

	From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org] On Behalf Of Rich, Dave
	Sent: Sunday, October 07, 2007 9:04 AM
	To: sv-bc@server.eda-stds.org
	Subject: [sv-bc] Proposal for 1750 %p and %0p
	
	

	I have upload a proposal that clarifies that %p may also be used
to print non-aggregates. In doing so I realized that mantis 331 did not
specify how each non-aggregate element within an aggregate should be
printed.

	 

	David Rich
	Verification Technologist
	Design Verification & Test Division
	Mentor Graphics Corporation
	dave_rich@mentor.com
	Office:   408 487-7206
	Cell:     510 589-2625

	 


	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, and is 
	believed to be clean. 

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.