[sv-dc] Notes from meeting on 2011-09-07

Apologies for being so slow in getting these out.

Thanks,
Scott

2011-09-07
----------
SV-DC Meeting Notes

Attendees:
n ------------111111--11111 Jim Lear (Cirrus)
n -------------11111-11-111 Achim Bauer (EXL-Modeling)
n ----------------111111111 John Havlicek (Freescale)
v 1111111111111111111111111 Scott Little (Chair, Freescale)
v 1111111111-111-------1111 Scott Cranston (Cadence)
v 11-1--11111-1-11-1111111- Sundaram Sangameswaran (TI)
v 11111111-1111-11111111-11 Gord Vreugdenhil (Mentor)
n ----------1------1111-11- Top Lertpanyavit (Intel)
n ------------------------1 Dana Fisman (Synopsys)
n 1--1-11-1-11--1-11--1-1-1 Ghassan Khoory (Synopsys)
v 111-1111----111-11111-1-- Ian Wilson (Accellera/BDA)
n ------------------------- Ken Bakalar (Mentor)
n ------------11--1111-111- Kevin Cameron (obs)
v 11-11-11111-111111-11-111 Arturo Salz (Synopsys)
v 11--11111-11-1--1-------- Dave Cronauer (Synopsys)
n ------------------------- Ed Cerny (Synopsys)
n --------------------1--11 Tapan Halder (Synopsys)
n -----1111-111------------ Jonathan David (Qualcomm)
n ------------------------- Jim Holmes (Lynguent)
n ------------------------- Walter Hartong (Cadence)
v 1111111111111111111-11111 Shekar Chetput (Cadence)
n ---------------11111111-- Martin O'Leary (Cadence)
v 111111111111111-----1---- Francoise Martinolle (Cadence)
n ----------------1--1----- Prabal Bhattacharya (Cadence)
v 1111111111-1111.......... Abhi Kolpekwar (Co-chair, Cadence)
v 1111111111111-1.......... Steven Sharp (Cadence)
n -1-11-11-1--1............ Kishore Karnane (Cadence)
n ----11-1----1............ Dave Miller (Freescale)
n -----1-11111............. Jess Chen (Qualcomm)
v 1111111111............... Mark Hartoog (Synopsys)
n -1....................... Shalom Bresticker (Intel)
  |-> attendance on 2011-09-07
|---> voting eligibility on 2011-09-07

Upcoming dates to note:
2011-09-21 - SV-DC meeting
2011-10-01 - P1800 TC work ends

AK: We have done an internal review of 3724.

FM: I am a bit confused about the BNF and packed dimensions.

GV: implicit_data_type in the BNF is for optional packed dimensions. People objected to wording using "explicit." I am open to specific wording that will improve the clarity.

FM: When you have an interconnect it can either be nets that are packed or nets that are unpacked but not both. I couldn't see anything in the proposal that states this.

GV: It would have to go the other way around. If you want it to be more general you would have to state that. The LRM doesn't allow you to connect packed to unpacked. Ideally, in the long term we would like to generalize interconnect so that you don't have to match dimensions. Right now there isn't any generalization, so it just uses the current rules which requires that they have the same shape. Part of it is for terminal connections. The rest of the places we talk about net connections talk about dimensions matching. It doesn't quite appeal to the type compatibility rules. In 23.3.3.5 we find those rules. It doesn't apply to type rules. It only applies to sizing. I believe that is tight enough for non-terminal connections. FM is concerned that if we needed to apply to matching or equivalent type then we would have to define that for interconnect. Since it doesn't, then we are okay.

FM: That talks about unpacked array ports, but it doesn't talk about packed interconnect ports. I don't see how this section of the LRM can apply to interconnect.

GV: Are they not arrays? If they are arrays then the rules apply.

FM: This doesn't apply to interconnect ports with packed dimensions.

GV: When you get to that point you are following the normal rules for vector port connections.

FM: Are you treating unpacked vs. packed interconnect differently?

GV: Yes. It is just like a unpacked or packed net as far as the matching and connection works. The only difference is how you do the net merging. Everything else follows the standard net and port rules.

FM: I will need to read the proposal with this in mind.

GV: Read with the fact that we aren't going to add the special rules. The normal rules apply.

Vote to approve 3398: GV, FM
10y:0n:1a Dave Cronauer abstained because he isn't familiar with the details of the proposal

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.