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*
>    <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.*
>
>
> *Join WebEx meeting*
> <https://synopsys.webex.com/synopsys/j.php?MTID=mb89dbc121893a60d9696df09aa322888>
>
> 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, *go
> here.*
> <https://synopsys.webex.com/synopsys/j.php?MTID=m9f26d442ed60ef0617a7995efdb8f480>
>
> 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? *Contact support.*
> <https://synopsys.webex.com/synopsys/mc>
>
> -----------------------------------------------------
>
> *Local Dial In Numbers *
> -----------------------------------------------------
> Armenia, Yerevan: +37410492777
> Belgium, Leuven: +3216387040
> Canada, Markham: +19054157057
> Canada, Mississauga: +19052738530
> Canada, Nepean: +16132218770
> Chile, Santiago: +56227146868
> China, Beijing: +861059860608
> China, Shanghai: +862123075811
> China, Shenzhen: +8675583042142
> China, Wuhan: +862759373698
> China, Xiamen: +865923012480
> Denmark, Copenhagen: +4533630861
> Finland, Espoo: +358207578011
> France, Grenoble: +33456384898
> France, Montbonnot: +33456384898
> France, Montpellier: +33456384898
> France, Rungis: +33145120359
> France, Sophia: +33497239722
> France, Wissous: +33164538815
> Germany, Aachen: +4924147967210
> Germany, Munich: +498999320292
> Hungary, Budapest: +498999320292
> India, Bangalore: +918040188404
> India, Delhi: +911149233919
> India, Hyderabad: +914040331114
> India, Noida: +911206759255
> India, Mumbai: +912261649508
> Ireland, Dublin: +35314368777
> Israel, Herzelia: +97299719696
> Italy, Agrate Brianza: +390396846777
> Japan, Tokyo: +81367463962
> Japan,Osaka: +81663598257
> Netherlands, Eindhoven: +31402304740
> Poland, Gdansk: +48587614004
> Portugal, Porto: +351220415909
> Portugal, Lisbon: +351210440220
> Russia, Saint Petersburg: +78124087477
> Singapore, Singapore: +6563937190
> South Korea, Seoul: +82234042733
> Sweden, Lund: +4646162919
> Sweden, Stockholm: +498999320292
> Switzerland, Zurich: +41445671553
> Taiwan, Hsinchu: +88635581801
> Taiwan, Hsinchu: +88636230405
> Taiwan, Taipei: +886237255710
> UK, Livingston: +441506486066
> UK, Reading: +441189651055
> UK, Surrey: +441276400398
> United States: +16505848255
> United States(Toll-Free): +18558836437
> 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..
>
>
>