2010-04-07
Attendees:

1111 Himyanshu Anand
1111 Kenneth Bakalar
0000 Prabal Bhattacharya
0001 Achim Bauer
1000 Sri Chandra
1110 Eduard Cerny
0001 Scott Cranston
0001 Dave Cronauer
0100 Dejan Nickovic
0000 Mike Demler
0000 Surrendra Dudani
1111 John Havlicek
0000 Kevin Jones
1111 Jim Lear
1011 Top Lertpanyavit
0001 Marq Kole
1111 Scott Little
0000 Martin O'Leary
0000 Erik Seligman
0000 David Sharrit

SUMMARY:

-The assertions subcommittee is currently looking at local variables.

-Achim Bauer, Scott Cranston, and Jim Lear are interested in being part of the embedding subcommittee.

-Ken Bakalar will put together a document in 2 weeks to use as a discussion seed for the embedding subgroup.

-The meeting time of the monthly meeting will move back 30 minutes.

ACTION ITEMS:

-Ken Bakalar will send out an e-mail setting up a meeting of the embedding subcommittee. The meeting will be in 2 weeks and use the slot currently occupied by the monthly meeting. He will also provide a document to serve as a discussion seed for this group.

DETAILS:

JH: We started meeting weekly and then decided that we weren't making progress that warranted weekly meeting. We have decided to meet biweekly. We are also looking for a new meeting time. We are discussing local variables. In the realtime sequences document we didn't discuss real variables. We have started discussing them. We sent out some notes describing local variables and three different policies. The first policy is that they can only be attached to clocked booleans. The second policy is that they can be attached to any boolean clocked or unclocked. The third policy is that local variables can be attached to any right closed interval. We don't know which policy is best. We have to deal with this issue because local variables already exist in the digital SVA and we have the requirement that the realtime SVAs should be an extension to the existing digital SVAs.

KB: It is true of all three proposals that they meet that requirement.

JH: Yes, it is.

KB: The only question is the increase in complexity as you go up the scale?

JH: Yes. If the answer is that the second and third policies have bad complexity I don't know if there is a policy between the first and second policies.

KB: Nothing to report on the embedding document.

SL: Do we want to organize an embedding committee?

KB: I think we need to wait until I produce a document.

AB: I can work on providing some ideas.

KB: You should start from the requirements found on the web.

JL: I wouldn't mind helping out.

SC: I would like to take part.

KB: Moving forward what is the talk about changing the meeting time?

SL: Some folks have requested that we change the meeting time because it is difficult for them to make the current time.

There was discussion that the current time and date works well for those in attendance.

JL: What about 9:30?

This seemed to not be a problem and would likely help some of those currently having trouble making the current meeting. There was some concern about taking up the 9 a.m. and 10 a.m. slot.

SL: Okay, we can move the meeting back 30 minutes and see how that works.

SL: Ken, when can you have a document?

KB: 2 weeks.

SL: Do you want to lead the committee or would you prefer someone else do it?

KB: I will do it.

SL: Will you send an e-mail to the reflector setting up the meeting in 2 weeks?

KB: Yes. I can do that.

SL: Thanks.

-- ScottLittle - 2010-04-07