Minutes of IEEE P1800 SV-AC meeting #2006-20: 10/10/2006
Written by: Ed Cerny

Code for the conference call:

        Domestic:         888-635-9997
        International:    763-315-6815
        Participant code: 2638198

Attendance Record
	Legend:
		x = attended
		- = missed
		r = represented
		. = not yet a member
		v = valid voter (3 out of last 4 or 75% overall)
		n = not valid voter

New PAR, presence record re-initialized on 8/22/2006:

n[-x-----] Faisal Haque (Cisco, Chairman)
v[xxxxx-x] Eduard Cerny (Synopsys - Co-chair)	
v[xxxxxxx] John Havlicek (Freescale)
v[xxxx-xx] Doron Bustan (Freescale)
v[xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
v[xxxxxxx] Bassam Tabbara (Synopsys)
v[xxxx-x-] Hillel Miller (Freescale)
v[x-x---x] Surrendra Dudani (Synopsys)
n[-------] Yaniv Fais (Freescale)
v[xxx-xxx] Dmitry Korchemny (Intel)
v[xxxxxxx] Lisa Piper (Cadence)
v[x-xx-x-] Jiang Long (Mentor)
n[-x-----] Don Mills (Microchip)
n[x------] Shalom Bresticker (Intel)
n[x------] Stu Sutherland (Sutherland HDL)
==|--------------------------------10/10/2006

Agenda:
-------

- Review IEEE working group rules
- Review errata reported in Mantis

Minutes:
--------

1) #1550: Same situation as last time. Need to define the relationship
between $sampled and $past when the former has the clocking_event
argument. Is it:

$sampled(x, @clk) same as always @clk clocked_sampled_x = $sampled(x);

and then

$past(x, @clk) as always @clk past_x <= $sampled(x); 

Or are both blocking or both non-blocking assignments?

Remaining AI: John - relationship with $past; Ed - proposal; Dmitry -
verify.

2) #1549: Separate argument passing modes from additional
types. Currently, concentrate on the new types.  
Current status:

- New types: event, sequence, property

- Allow only sequence and property instances as actual arguments (no
expressions yet)

- Scoping rules need to be defined (clashes of names from actual args
with local names)

- How to pass to a sequence an actual argument that is an instance of
another sequence that has a formal argument and that argument is a
local variable?

E.g.,

sequence s1(int flv);
  (exp1, flv = exp2);
endsequence
sequence s2(sequence s(int flv)); // formal arg on a formal arg?
  int lv;
  s(lv) ##1 (lv == exp3); // lv as arg??
endsequence
property p;
  s2(s1(??));
endproperty

or

property p;
  s2(s1)); // implicit bind as per definition of s2?
endproperty

3) Presentation by Dmitry: file CycleBased.ppt from Mantis #1530.

Dmitry's notes / questions after the presentation:

- How to organize the incremental compilation in presence of the
global clocking?

- Do we have to require the synchronization of the whole design with
the global clocking if present?

- Can we use $sysclk name (with a dollar sign)? If yes - it should be
allowed to reference the value of system clock within any procedural
code (I personally don't see a problem with $sysclk, but I am not sure
it makes sense to call the $next function within arbitrary code).

Next meeting: 

10/17/2006 at 9 am PT (12 pm ET, 5 pm GMT): Discussion on 1550, 1551,
1549, etc.

1/2h regular meeting, 
1/2h presentation by Dmitry - continuation of proposal for enhancements.

====