MeetingMinutes20100407 < VerilogAMS

VerilogAMS Web>AmsAssertions>RequirementsGatheringGroup>MeetingMinutes20100407 (2010-04-07, ScottLittle) (raw view)EditAttach
2010-04-07<br />Attendees:<br /><br />1111 Himyanshu Anand<br />1111 Kenneth Bakalar<br />0000 Prabal Bhattacharya<br />0001 Achim Bauer<br />1000 Sri Chandra<br />1110 Eduard Cerny<br />0001 Scott Cranston<br />0001 Dave Cronauer<br />0100 Dejan Nickovic<br />0000 Mike Demler<br />0000 Surrendra Dudani<br />1111 John Havlicek<br />0000 Kevin Jones<br />1111 Jim Lear<br />1011 Top Lertpanyavit<br />0001 Marq Kole<br />1111 Scott Little<br />0000 Martin O'Leary<br />0000 Erik Seligman<br />0000 David Sharrit<br /><br />SUMMARY:<br /><br />-The assertions subcommittee is currently looking at local variables.<br /><br />-Achim Bauer, Scott Cranston, and Jim Lear are interested in being part of the embedding subcommittee.<br /><br />-Ken Bakalar will put together a document in 2 weeks to use as a discussion seed for the embedding subgroup.<br /><br />-The meeting time of the monthly meeting will move back 30 minutes.<br /><br />ACTION ITEMS:<br /><br />-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.<br /><br />DETAILS:<br /><br />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.<br /><br />KB: It is true of all three proposals that they meet that requirement.<br /><br />JH: Yes, it is.<br /><br />KB: The only question is the increase in complexity as you go up the scale?<br /><br />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.<br /><br />KB: Nothing to report on the embedding document.<br /><br />SL: Do we want to organize an embedding committee?<br /><br />KB: I think we need to wait until I produce a document.<br /><br />AB: I can work on providing some ideas.<br /><br />KB: You should start from the requirements found on the web.<br /><br />JL: I wouldn't mind helping out.<br /><br />SC: I would like to take part.<br /><br />KB: Moving forward what is the talk about changing the meeting time?<br /><br />SL: Some folks have requested that we change the meeting time because it is difficult for them to make the current time.<br /><br />There was discussion that the current time and date works well for those in attendance.<br /><br />JL: What about 9:30?<br /><br />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.<br /><br />SL: Okay, we can move the meeting back 30 minutes and see how that works.<br /><br />SL: Ken, when can you have a document?<br /><br />KB: 2 weeks.<br /><br />SL: Do you want to lead the committee or would you prefer someone else do it?<br /><br />KB: I will do it.<br /><br />SL: Will you send an e-mail to the reflector setting up the meeting in 2 weeks?<br /><br />KB: Yes. I can do that.<br /><br />SL: Thanks.

-- Main.ScottLittle - 2010-04-07
Topic revision: r1 - 2010-04-07 - 15:28:32 - ScottLittle
VerilogAMS