RE: [sv-ec]Email Vote: Response requested by Friday July 1 2011 11:59pm

Forwarding Mark Hartoog's votes
Thanks Francoise, Scott, Arturo, Mark & Dave who sent in their votes,
for the members who have not done so yet, please send them in,
copy me as well as sv-ec@eda.org and
add your comments/concerns/modifications if needed,
we will tabulate all and review at our next meeting.
Thanks,
Mehdi

-----Original Message-----
From: Mark Hartoog [mailto:markh@synopsys.COM]
Sent: Friday, July 01, 2011 1:49 PM
To: Mehdi Mohtashemi
Subject: RE: [sv-ec]Email Vote: Response requested by Friday July 1 2011 11:59pm

1) Mantis 2794 _X__Yes ___No
http://www.eda.org/svdb/view.php?id=2794
[Title: Clarify queue methods return status]
[proposal: proposal-2794-3a.pdf]

(2) Mantis 2112 ___Yes _X__No
http://www.eda.org/svdb/view.php?id=2112
[Title: Remove restrictions on NBA assignments to class members]
[proposal: 2112_NBA.pdf]

I believe this issue needs to be discussed further. I am fine with allowing NBA to class members, but the text changes in 6.21 seem to allow continuous and procedural continuous assignments to class members. Was that intentional or an accident?

(3) Mantis 2900 ___Yes _X__No
http://www.eda.org/svdb/view.php?id=2900
Title: Associative array should consider the context of an lvalue to create an entry]
[proposal: 2900_assoc_lvalue2.pdf]

I don't think this language is an improvement.

Changing

"Array elements in associative arrays are allocated dynamically; an entry is created the first time it is written."

To:

"An entry for an associative array element shall be allocated the first time it appears as the target of an assignment."

The new languages leaves thing less clear. Consider this case:

module test;
int a[int];

task t(output int out);
   out = 1;
endtask

initial
begin
   t(a[1]);
   $display("a[1] = ", a[1]);
end

endmodule

In "t(a[1])" is "a[1]" the target of an assignment? It is clear that it is written to. Connections to task/function output ports are assignment like contexts, but it is not clear to me that "a[1]" is the target of an assignment.
 

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