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