RE: [sv-ac] IEEE 1800 SV-AC : minutes of meeting on 10/10 2006

Sorry. When I called names nobody mentioed that I did not read yours. I
attach corrected minutes. (Correction #2)
 
Best regards,
ed
 


________________________________

	From: Don Mills [mailto:mills@lcdm-eng.com] 
	Sent: Tuesday, October 10, 2006 3:38 PM
	To: Eduard Cerny
	Subject: Re: [sv-ac] IEEE 1800 SV-AC : minutes of meeting on
10/10 2006
	
	
	I was on the call this morning.
	
	n[-x-----] Don Mills (Microchip)

	Eduard Cerny wrote: 

		Please find attached the minutes of the SV-AC meeting
earlier today. Let
		me know if you see any discrepancies.
		
		Best regards,
		ed
		  
		
________________________________


		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 (Freescale)
		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.
		
		====
		  


	-- 
	==========================================================
	Don Mills
	LCDM Engineering     (Logic, Coding, & Design Methodology) 
	mills@lcdm-eng.com                        www.lcdm-eng.com
	801-282-6560  Office PHONE      
	801-641-5882  Mobile PHONE
	4158 W. Ben Armine Cir.,      South Jordan, UT  84095-9101
	==========================================================