Hi, Ben. The new location is https://accellera.mantishub.com/view.php?id=5067 Check whether you have access. Regards, Shalom From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Ben Cohen Sent: Tuesday, December 08, 2015 10:36 PM To: Dmitry Korchemny Cc: sv-ac@eda-stds.org Subject: Re: [sv-ac] SV-AC meeting Where is the Mantis page? I know that it was moved. I put a lot of thought into Mantis 5067 where delays and repeat operators can use module variables as the value for the delays or repeat. I now believe that the best approach would be to specify something like the following: 1) The range for the delay or repeat cannot be greater than 32, as specified by a bit vector of no more than 5 bits. 2) The delay or repeat statement is in a sequence that is used as a property, and not as a sequence (e.g., no end points, no implication operator after the sequence). Thus, bit[2:0] v=3; ap_delay: assert property( $rose(a) |-> d ##v b); // The compiler would automatically implement something like the following: generate for (genvar g_i=0; g_i<8; g_i++) begin ap_delay_gen: assert property ($rose(a) |-> d ##0 v==g_i |-> ##g_i b); end endgenerate The above approach is simple to implement, fits most application s , and is more generic conceptually. The use of local variables is complex, but feasible. But the use of the generate statement is much easier to express and understand. Something to think about. I know that is not the purpose of the upcoming meeting, but I wanted to document my thoughts. Ben On Tue, Dec 8, 2015 at 10:44 AM, Dmitry Korchemny <Dmitry.Korchemny@synopsys.com> wrote: Agenda · Reminder of IEEE patent policy See: http://standards.ieee.org/board/pat/pat-slideset.ppt · Reconfirming vote / officer elections · New PAR roadmap · Opens -- Do not delete or change any of the following text. -- Please Note: Dial-in numbers have changed for the new Synopsys WebEx site. <https://synopsys.webex.com/synopsys/j.php?MTID=mb89dbc121893a60d9696df09aa322888> Join WebEx meeting Meeting number: 927 104 403 Meeting password: Please obtain your meeting password from your host. If you are the host, you can use the meeting host key to pass the host privilege to another participant or to start the meeting from a video conferencing system or application. To find the host key for this meeting, <https://synopsys.webex.com/synopsys/j.php?MTID=m9f26d442ed60ef0617a7995efdb8f480> go here. Join by phone Local/International: 1-650-584-8255 Internal: 4-8255 Toll-Free: 1-855-883-6437 Your Cisco Unified MeetingPlace meeting ID: 927 104 403 https://synopsys.webex.com/synopsys/j.php?MTID=mb89dbc121893a60d9696df09aa322888 Meeting number: 927 104 403 Meeting password: Please obtain your meeting password from your host. Can't join the meeting? <https://synopsys.webex.com/synopsys/mc> Contact support. ----------------------------------------------------- Local Dial In Numbers ----------------------------------------------------- Armenia, Yerevan: +37410492777 <tel:%2B37410492777> Belgium, Leuven: +3216387040 <tel:%2B3216387040> Canada, Markham: +19054157057 <tel:%2B19054157057> Canada, Mississauga: +19052738530 <tel:%2B19052738530> Canada, Nepean: +16132218770 <tel:%2B16132218770> Chile, Santiago: +56227146868 <tel:%2B56227146868> China, Beijing: +861059860608 <tel:%2B861059860608> China, Shanghai: +862123075811 <tel:%2B862123075811> China, Shenzhen: +8675583042142 <tel:%2B8675583042142> China, Wuhan: +862759373698 <tel:%2B862759373698> China, Xiamen: +865923012480 <tel:%2B865923012480> Denmark, Copenhagen: +4533630861 <tel:%2B4533630861> Finland, Espoo: +358207578011 <tel:%2B358207578011> France, Grenoble: +33456384898 <tel:%2B33456384898> France, Montbonnot: +33456384898 <tel:%2B33456384898> France, Montpellier: +33456384898 <tel:%2B33456384898> France, Rungis: +33145120359 <tel:%2B33145120359> France, Sophia: +33497239722 <tel:%2B33497239722> France, Wissous: +33164538815 <tel:%2B33164538815> Germany, Aachen: +4924147967210 <tel:%2B4924147967210> Germany, Munich: +498999320292 <tel:%2B498999320292> Hungary, Budapest: +498999320292 <tel:%2B498999320292> India, Bangalore: +918040188404 <tel:%2B918040188404> India, Delhi: +911149233919 <tel:%2B911149233919> India, Hyderabad: +914040331114 <tel:%2B914040331114> India, Noida: +911206759255 <tel:%2B911206759255> India, Mumbai: +912261649508 <tel:%2B912261649508> Ireland, Dublin: +35314368777 <tel:%2B35314368777> Israel, Herzelia: +97299719696 <tel:%2B97299719696> Italy, Agrate Brianza: +390396846777 <tel:%2B390396846777> Japan, Tokyo: +81367463962 <tel:%2B81367463962> Japan,Osaka: +81663598257 <tel:%2B81663598257> Netherlands, Eindhoven: +31402304740 <tel:%2B31402304740> Poland, Gdansk: +48587614004 <tel:%2B48587614004> Portugal, Porto: +351220415909 <tel:%2B351220415909> Portugal, Lisbon: +351210440220 <tel:%2B351210440220> Russia, Saint Petersburg: +78124087477 <tel:%2B78124087477> Singapore, Singapore: +6563937190 <tel:%2B6563937190> South Korea, Seoul: +82234042733 <tel:%2B82234042733> Sweden, Lund: +4646162919 <tel:%2B4646162919> Sweden, Stockholm: +498999320292 <tel:%2B498999320292> Switzerland, Zurich: +41445671553 <tel:%2B41445671553> Taiwan, Hsinchu: +88635581801 <tel:%2B88635581801> Taiwan, Hsinchu: +88636230405 <tel:%2B88636230405> Taiwan, Taipei: +886237255710 <tel:%2B886237255710> UK, Livingston: +441506486066 <tel:%2B441506486066> UK, Reading: +441189651055 <tel:%2B441189651055> UK, Surrey: +441276400398 <tel:%2B441276400398> United States: +16505848255 <tel:%2B16505848255> United States(Toll-Free): +18558836437 <tel:%2B18558836437> IMPORTANT NOTICE: Please note that this WebEx service allows audio and other information sent during the session to be recorded, which may be discoverable in a legal matter. By joining this session, you automatically consent to such recordings. If you do not consent to being recorded, discuss your concerns with the host or do not join the session..Received on Wed Dec 9 00:43:12 2015
This archive was generated by hypermail 2.1.8 : Wed Dec 09 2015 - 00:43:41 PST