When: Tuesday, October 21, 2008 11:30 AM-1:00 PM (GMT-06:00) Central Time (US & Canada). Where: Dial In Access Code: 1848720 *~*~*~*~*~*~*~*~*~* Updated the date: The last meeting sent out was a recurring notice (which started on October 7th, 2008) Time: 11:30 AM - 1:00 PM Central Daylight Time (Austin Time) (GMT - 5:00) Agenda: Continuation of discussion on scope. The original idea was to extend SVA with real domain and incorporate the ability to verify analog properties (Safety, Timing and Mixed-Signal properties which are temporal in nature). Previous meetings have explored the expansion of scope which has raised a lot more questions, namely - a) David Smith asked whether we can have a universal language which can then be mapped to Verilog-AMS, VHDL-AMS and SystemC-AMS. b) Mike Demler wants to explore electrical property checking mechanism in the language. c) Ed Cerny presented event based analog extensions to SVA for use across Verilog-AMS to SystemC-AMS d) Dejan presented STL/PSL work e) Freescale presented a collection of properties which could be possibly targeted for verification f) Ken Bakalar wants a discussion on dense time and wants to limit the scope of the current working group. g) Kevin Cameron wants to review his proposal on power supply connection. h) David Sharrit raised the question whether this effort would result in a language which would replace the proprietary measurement description languages like MDL, .measure, etc. We should devote the next meeting to discuss these questions. - The current site for verilog-ams is http://eda.org/verilog-ams/ - Till a permanent home is found, documents released to the committee can be found at http://www.eda-stds.org/verilog-ams/htmlpages/public-docs/AMS_Assertions/ Dial In Access Code: 1848720 USA: +1-800-867-1147 Country Toll free number AUSTRALIA 1800009128 AUSTRIA 0800291873 BELGIUM 080077334 CANADA 8008671147 CHINA TELECOM (CT) 108001201283 CHINA NETCOM (CNC) 108007121283 DENMARK 80703159 FINLAND 0800770233 FRANCE 0800941695 GERMANY 08001014519 GREECE 0080016122039738 HONG KONG 800933578 HUNGARY 0680017180 INDIA 0008001006032 INDONESIA 008800105607 IRELAND 1800944116 ISRAEL 180-945-9738 ITALY 800782388 JAPAN 00531160427 LUXEMBOURG 80023985 MALAYSIA 1800802412 MONACO 80093186 NETHERLANDS 08002658223 NEW ZEALAND 0800443736 NORWAY 80057409 POLAND 008001114672 PORTUGAL 800819106 RUSSIA 81080022801012 SINGAPORE 8001011470 SOUTH AFRICA 0800992835 SOUTH KOREA 00308140540 SPAIN 900967020 SWEDEN 0201400559 SWITZERLAND 0800563054 TAIWAN 00801126585 THAILAND 0018001562039684 UNITED KINGDOM 08005280546 UNITED STATES 8008671147 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Oct 16 07:08:53 2008
This archive was generated by hypermail 2.1.8 : Thu Oct 16 2008 - 07:08:56 PDT