SV-EC |
|
|
Action Items |
|
|
31-Jan-03 |
|
|
Status Key:
Open->In Progress->Closed, Cancelled |
ID |
Owner |
Section |
Description |
Status |
Action |
AI-1 |
Arturo |
7.10 |
Add discussion of optional use
of () to 7.10. |
Closed |
CH-74 Created |
AI-2 |
Arturo |
4.7 |
In 4.7 make change on compiler
error in comment to be a prose description. |
Closed |
CH-75 Created |
AI-3 |
David |
|
Get clarification of use of
slice notation with unpacked arrays from SV-BC. |
Closed |
SB-BC58 indicates ok with
declaration change in CH-121 |
AI-4 |
Arturo |
4.6.1 |
Define the order of evaluation
for the new operator when used with dynamic arrays. |
Closed |
CH-76 Created |
AI-5 |
Arturo |
4.8 |
Add a short sentence at the
start of 4.8 that specifies dynamic arrays passed by value are passed a copy. |
Closed |
CH-77 Created |
AI-6 |
Jay |
4.9 |
Add discussion of use of
canonical form for ints in determining an index. |
Open |
|
AI-7 |
Jay |
4.9 |
Define order of 01xz and define
both integer and in indices for associative arrays. |
Open |
|
AI-8 |
Arturo |
4.9.6 |
Clean-up Table 4-1 so it is
clearer. |
Closed |
CH-78 Created |
AI-9 |
David |
|
Confirm with Stefen to add
Action Item in last meeting minutes for clarification of motivation and
rationale for program block. |
Closed |
Confirmed |
AI-10 |
Mehdi |
|
Review Verilog-AMS final event,
finalize the "final" proposal, and submit for review and
incorporation in LRM. |
Closed |
CH-79 Created |
AI-11 |
Arturo |
7.5 |
Clarify Section 7.5 for compare
and zero-filled or sign extend. |
Closed |
CH-81 Created |
AI-12 |
Arturo |
|
Write up statement of process
options for voting. |
Closed |
In Minutes for 3 Feb 2003 |
AI-13 |
Arturo |
13.2 |
Skew definition in BNF is wrong.
SHould be edge and optional # delay expression. Skew used for default_skew
must have delay. Skew used with clock_direction must have edge. This is two
different skew definitions. Needs cleaned up. |
Closed |
CH-80 Created |
AI-14 |
Arturo |
13.2 |
"Clocking_event" is
really a special kind of event_control (except for @*). Needs cleaned up. |
Closed |
CH-80 Created |
AI-15 |
Arturo |
13.2 |
Define step. Cannot use to
define timeunit or simulator time step. It is the minimum global time
precision. Indicate impact if other
modules added that change global minimum. How general is it defined? Part of
time literal or event_control. |
Closed |
CH-80 Created |
AI-16 |
Arturo |
13.2 |
Clarify definition of
delay_expressions. Is it a time variable or constant expression? |
Closed |
CH-47 and CH-81 Created |
AI-17 |
Arturo |
13.3 |
Clarify "after all
nonblocking assignments" to be at the end of the verification phase (or
similar from Scheduling Semantics). |
Closed |
CH-84 Created |
AI-18 |
Arturo |
13.5 |
Add clarification that the same
clock can be in multiple clocking domains. |
Closed |
CH-85 Created |
AI-19 |
Arturo |
13.5 |
Move discussion about drive
semantics (last two sentences of paragraph) to section 14.4 and remove
reference to "logic" semantics. |
Closed |
CH-85 Created |
AI-20 |
Arturo |
13.11 |
Deal with the issue of
sub-modules on clocking domains. |
Closed |
CH-53 Created |
AI-21 |
Arturo |
13.11 |
Modify description to make
similar to declaration for timeunit |
Closed |
CH-53 Created |
AI-22 |
Arturo |
14.2 |
Add Reference to 13.9 as way to
synchronize. |
Closed |
CH-93 Created |
AI-23 |
Arturo |
14.2 |
Rework definition to use
event_control. |
Closed |
CH-94 Created |
AI-24 |
Arturo |
14.2 |
Add example of what shorthand
is. |
Cancelled |
Action item definition unclear |
AI-25 |
Arturo |
14.2 |
Look
at moving into Section 13 (evaluate issues including effect of
assertions) |
Closed |
CH-95 and CH-101 Created |
AI-26 |
Arturo |
14.2 |
Provide same semantics for
delayed vs. non-delayed version of skew on signal drive. |
Closed |
CH-96 Created |
AI-27 |
Arturo |
14.4 |
Expand explanation to define
what a drive means in this context and remove the confusion of signals,
drives, etc... |
Closed |
CH-96 Created |
AI-28 |
Arturo |
14.4 |
Clarify use in design code
(cannot be used). |
Closed |
Clarification sent to reflector
indicating that use in design code is permitted. No constraints in LRM. |
AI-29 |
Arturo |
14.4 |
Provide "equivalent code
expansion" as part of definition. |
Closed |
Response
in email. Not included in 14.4 |
AI-30 |
Arturo |
14.4 |
In delay definition reference
13.10. |
Closed |
CH-96 Created |
AI-31 |
Arturo |
14.4 |
Move "write semantics"
from 13.5 to the end of 14.4. |
Closed |
CH-97 Created |
AI-32 |
Arturo |
14.4 |
Resolve change from signal to
clockvar. |
Closed |
CH-96 Created |
AI-33 |
Arturo |
14.4.1 |
Expand description in last
paragraph. |
Closed |
CH-98 Created |
AI-34 |
Arturo |
14.4.2 |
Add reg vs. wire distinction to
discussion and support for drive(reg) and variable. |
Closed |
CH-99 Created |
AI-35 |
Arturo |
15.2 |
Add clarification of what can be
declared in program block. |
Closed |
CH-122 Created |
AI-36 |
Arturo |
15.3 |
Replace "Note:" with
reference to SV-BC clarification. |
Closed |
CH-122 Created |
AI-37 |
Arturo |
15.4 |
Add BNF to clarify. |
Closed |
CH-122 Created |
AI-38 |
Arturo |
15.6 |
Clarify when execution is
occurring by referring to Scheduling Semantics. |
Closed |
CH-122 Created |
AI-39 |
Arturo |
15.7 |
Need to reconcile nonblocking
assignments and read-only synchronize time in second paragraph with
Scheduling Semantics. Move entire section to new chapter on Scheduling
Semantics |
Closed |
CH-122 Created |
AI-40 |
Arturo |
15.8 |
Rewrite last sentence to be
consistent with new Scheduling Semantics. |
Closed |
CH-122 Created |
AI-41 |
Dave Rich |
15.9 |
Add final block |
Closed |
CH-79 Created |
AI-42 |
Jay |
|
Create alternate proposal for
program blocks to consider instead of current proposal in donation. |
Closed |
Email sent 5 Feb. |
AI-43 |
Arturo |
|
More clarification of program
block including motivation and rationale |
Closed |
Program block approved at 27 Feb
2003 meeting |
AI-44 |
Arturo |
9.9 |
Resolve Jay's comments on
Process control tasks from his email on 1/13/2003 |
Closed |
CH-100 Created, other responses
in email |
AI-45 |
Kevin |
|
Propose swapping [] and [*] for
array and associative array declarations |
Closed |
Approved, CH-109 created |
AI-46 |
Arturo |
10.4 |
Change to use static by default,
reference class members, provide example of automatic usage. |
Closed |
CH-117 Created |
AI-47 |
Arturo |
10.5.2 |
Add const (plus example),
include comment on simulation semantic for var updates, add restriction on
wire usage. |
Closed |
CH-117 Created |
AI-48 |
Arturo |
10.5.4 |
Add clarification about mixed
named and default argument usage. |
Closed |
CH-117 Created |
AI-49 |
David |
|
Email vote on usage of &,
var, and ref |
Closed |
|
AI-50 |
David |
|
Remove use of process statement |
Closed |
CH-88 Created |
AI-51 |
David |
|
Change use of fork..join
all/none/any to fork..join, etc.. |
Closed |
CH-89 Created |
AI-52 |
David |
|
Change function return value to
remove assignment option |
Closed |
CH-90 Created |
AI-53 |
Jay |
9.1 |
Reliance on an if statement as
test and set - in 27 Jan mtg action to take to SV-BC |
Open |
|
AI-54 |
Jay |
|
Create formal proposal for
declaring automatic variables with application to how classes are declared. |
Closed |
Proposal on reflector |
AI-55 |
Arturo |
11.4 |
add handling of null object as
illegal and the behaviour is undetermied. |
Closed |
CH-104 Created |
AI-56 |
Arturo |
11.8 |
writeup a proposal to have c++
like namescope to access members. |
Closed |
CH-117 Created |
AI-57 |
Mehdi |
11.10 |
Clear up the confusion in shallo
copy within example. |
Closed |
CH-104 Created |
AI-58 |
Arturo |
11.13 |
Rework second sentence of first
paragraph for clarity. |
Closed |
CH-106 Created |
AI-59 |
Jay |
|
Explore use of super and parent
in regression tests. |
Open |
|
AI-60 |
David |
|
Swap [] and [*] in draft 3 LRM |
Closed |
CH-109 Created |
AI-61 |
David |
|
Deal with replacing var with ref
in LRM |
Closed |
CH-109 Created |
AI-62 |
David |
|
Handle un-finished items in
Email Vote 3 |
Closed |
Vote at 27 Feb. F2F |
AI-63 |
David |
|
Setup vote on: private vs local,
support for public, and mailbox and semaphore waiting queues being defined as
FIFO |
Closed |
Vote at 27 Feb. F2F |
AI-64 |
David |
3.10 |
Add support for forward
declarations of enum, struct, class,
and union. Also in BNF. |
Closed |
CH-111 Created |
AI-65 |
Mehdi |
12.4.2 |
Add statement about num value
note being valid for a defined length of time. |
Closed |
CH-111 Created |
AI-66 |
Jay |
|
Write proposal for standard
library include mechanism |
Closed |
Proposal
on reflector |
AI-67 |
Arturo |
Annex D |
Write full class header for list
class |
Closed |
CH-115 |
AI-68 |
David |
|
Raise issue of persistent event
at chairs |
Closed |
Rework and resubmit |
AI-69 |
Arturo |
15 |
Update based on votes at 27 Feb
meeting |
Closed |
CH-122 Created |
AI-70 |
Arturo |
|
Clarify order that semaphores
and mailboxes do something |
Closed |
CH-117 Created |
AI-71 |
David |
Annex C/Ch. 3 |
Apply tweakes from discussion on
27 Feb meeting, integrate into CH 3 |
Closed |
CH-111 Created |
AI-72 |
David |
11 |
Remove use of public keyword |
Closed |
CH-111 Created |
AI-73 |
David |
10.4, 13.2, 13.3, 13.4 |
Resolve Editor's notes |
Closed |
CH-117 Created |
AI-74 |
David |
20 |
Move Section 20 to between 11
and 12 |
Closed |
CH-116 Created |
AI-75 |
Stu/Stefen |
20 |
Consolidate BNF and rework text
to use consolidated BNF |
Open |
|
AI-76 |
David |
20.5-20.12 |
Renumber Sections 20.5
-20.12 20.4.1 to 20.4.8, move 20.17
to 20.4.9, renumber 20.13,14,15,16, and 18. |
Closed |
CH-116 Created |
AI-77 |
Arturo |
20.6 |
Move the last paragraph of 20.6
to section 20.13.2 |
Closed |
CH-116 Created |
AI-78 |
David |
20.7 |
Reword the sentance that uses
MUST to remove implication of error |
Closed |
CH-116 Created |
AI-79 |
David |
3.7 |
add the case for testing the
value, boolean based on null or handle legal value, test for boolean clause
has to be included here [need to look at other places?] |
Closed |
CH-113 Created |
AI-80 |
Arturo |
20.15.1 20.16.1 |
For
syntax of disabling constraints and random variables constraint methods, or
system task take a look at this in more detail. |
Closed |
CH-117 Created |
AI-81 |
David |
13.14.2 |
Make correction for pe.nibble
and using the <= operator |
Closed |
CH-113 Created |
AI-82 |
Arturo |
13.14.2 |
Add clarification on drive
mechanism indicating that the output drive creates a driver etc... |
Closed |
CH-113 Created |
AI-83 |
Arturo |
8.9 |
Add the use of just a clocking
domain name |
Closed |
CH-113 Created |
AI-84 |
David |
13.2 |
Deal with the editor's note at
the end of 13.2 to clarify the type of step |
Closed |
CH-117 Created |
AI-85 |
David |
|
Request Synopsys to provide the
C code implementation for $srandom and $urandom. |
Closed |
Made request |
AI-86 |
Arturo |
15.2 |
Resolve Editor's notes during
Section 15 rework |
Closed |
CH-122 Created |
AI-87 |
Arturo |
20.9 |
Clarify and correct the use of
the implication operator |
Closed |
CH-121 Created |
AI-88 |
David |
12, 13.10 |
Add Event propsal (include
changes to Section 3), Non-blocking Trigger proposal, remove [] in cycle
delay, `include <name>, change program examples to include initial,
modify list with system include. |
Closed |
CH-119 Created |
AI-89 |
Arturo |
13.2 |
Reword definition of
signal_identifier to clarify usage with other than port |
Closed |
CH-121 Created |
AI-90 |
Arturo |
13.14 |
Reword the second form of NBA,
for consistency with NBA. Delay and then evaluate, or evaluate and then
delay, but Not block. |
Closed |
CH-121 Created |
AI-91 |
Arturo |
|
Raise issue with Peter about use
of <> on 'import |
Closed |
Email sent 18 March 2003 |
AI-92 |
Arturo |
11.20 |
Take a look at c++ and the
class/type protection to see if clarification needed. |
Closed |
After review no change required. |
AI-93 |
Arturo |
3 or 11 |
Clarify usage of const with
class. |
Closed |
CH-121 Created |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
w |
|
|
|
|
|
|