RE: [sv-ac] Call to vote. Due August 9

 
SVDB 2485 _X__Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2485

http://www.eda-stds.org/mantis/file_download.php?file_id=4374&type=bug

SVDB 2558 _X__Yes ___No

http://www.eda-stds.org/mantis/view.php?id=2558
<http://www.eda-stds.org/mantis/view.php?id=2558>

http://www.eda-stds.org/mantis/file_download.php?file_id=4378&type=bug

SVDB 2412 ___Yes _X__No

http://www.eda-stds.org/mantis/view.php?id=2412
<http://www.eda-stds.org/mantis/view.php?id=2412>

http://www.eda-stds.org/mantis/file_download.php?file_id=4439&type=bug

I believe these sentences need a bit of work:

If an unclocked sequence with method is passed as an actual in a checker
instantiation, it is substituted in place of formal. Such a sequence is
clocked as if it was instantiated inside the checker.

If an unclocked sequence with method is passed as an actual in a module
instantiation, it is clocked as if it is instantiated at the place of
module instantiation.

In both sentences, 'with method' seems awkward to me. How about 'with a
method' or 'with an attached method'? The phrase 'of formal' seems like
it needs an article. Maybe 'of the formal' would work.

a1 and a4 seem very similar. Are both needed? If not e7 and a4 can be
removed.

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