Meeting announcement for SV-EC.
[Also announced on http://www.eda.org/sv-ec/Minutes.html ]
Meeting on Monday November 8, 2004.
Time: 11 am - 1:00pm PDT
Toll free number
USA: 1- 888-635-9997
International: 1- 763-315-6815
Participant code 6343466#
The proposed agenda:
1) Review the IEEE patent policy
ref: http://standards.ieee.org/board/pat/pat-slideset.ppt
2) Approve the minutes of the last meeting [October 25 2004 meeting]
http://www.eda.org/sv-ec/Minutes.html
3) Next meeting schedule and p1800 proposed deadline guidance.
Since P1800 has scheduled a meeting on Nov 22, 2004, we need to
confirm our next meeting date and time.
[possible: Tuesday Nov 23, 2004 at 11:00 am].
4) Review/discuss and vote on Errata in the database.
I have made the following groups for our discussion:
a) String questions:
Errata: 197, 203 (Per Dave Rich request to delay for next
meeting)
271 Incorrect example of assigning a string to a register in
Section 3.7
275 Several issues with section 3.7 String data type
b) Randomization/constraints/randcase
4 Add rs_rule precedence and example in Section 12.16
175 Ambiguous ordering of random variables
211 Add clarifying example to builtin / scope randomize
260 distributions and constraints solving
261 randcase width rules inconsistent with Verilog
262 randcase unclear on negative weights
263 wide randcase weights
270 User need more information when the randomize method fails
c) Coverage
6 Description of query and inst_query methods
172 assignment of values to fixed bins is not specified
251 multiple user defined bins for cross
252 default bin of a coverpoint in cross
253 a variable has a coverpoint but is used directly in a cross
Plus email questions from Ray
d) Other/General
250 bug in 8.5.2 example code
238,240 - (did not pass in the first email vote ballot)
25 Pass by reference behavior of dynamically allocated
objects
138 [Jeita 13] unclear behavior of default sequence
171 Configuration of programs
204 Missing $unit and program identifier for class resolution
operator
219 disable/return and fork-join/join_any/join_none
234 associative_dimension BNF
236 Behavior of the cycle_delay with 'Zero' value
237 Clarification of wait fork
e) cross-committee
216 enum initialization, x etc.
213,243,249 masked bit operators
f) In the enhancement request category:
134 [Jeita 9] 4 state values as constraints
239 Allow specific clocking event on each cycle_delay declaration
241 Regular expression handling mechanism
242 Aspect-oriented programming (AOP) mechanism
244 Class method overwrite
245 Array of queues
246 Random object stability example code
247 Property qualifier and random stability in object instances
255 include sequence_expr in primary
(data base ref: http://www.eda.org/svdb/ )
- Mehdi Mohtashemi
mehdi@synopsys.com
Received on Sat Nov 6 21:17:53 2004
This archive was generated by hypermail 2.1.8 : Sat Nov 06 2004 - 21:17:56 PST