Aa!##  `@0P``  00` 00p P@  Author AccelleraTitleSystemVerilog 3.1/draft 1Subject9PRELIMINARY draft of SystemVerilog 3.1, SUBJECT TO CHANGEH $ d HHUÙ̀̀ff@  d Footnote TableFootnote**/ - :;,.!?'* g/hTOCHeading1Heading2   PEquationVariablesT3.0ax7STU!UrUUUrA?;B)>ChSqSstbhuSSJzFH[K/SLSNSOSQS_SaSbSdSSS S S S SS S S S S S SSSSSSSSSSs~outQt6         &<$lastpagenum><$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear>;<$monthname> <$daynum>, <$year> <$hour>:<$minute00> <$ampm>"<$monthnum>/<$daynum>/<$shortyear><$monthname> <$daynum>, <$year>"<$monthnum>/<$daynum>/<$shortyear> <$fullfilename> <$filename> <$paratext[ChapterTitle]> <$paratext[SectionTitle]> <$curpagenum> <$paranumonly[Chapter]><$paranum[Chapter]> (continued)+ (Sheet <$tblsheetnum> of <$tblsheetcount>)Heading & Page <$paratext> on page<$pagenum>Pagepage<$pagenum>See Heading & Page%See <$paratext> on page<$pagenum>. Table All7Table<$paranumonly>, <$paratext>, on page<$pagenum>Table Number & Page'Table<$paranumonly> on page<$pagenum> Draft Number (Draft 1) Draft_titleStd P 1364.1-1999 (Draft 2)copy2003std#SystemVerilog 3.1/draft 4VerilogXL version #VerilogXL 1.5c DWGVersionRev0.77 <$volnum> <$chapnum>AnnexAnnex<$paranumonly>ExampleExample<$paranumonly> $paranumonly<$paranumonly>SectionSection<$paranumonly>TableTable<$paranumonly>$paranum <$paranum> $paratext <$paratext>FigureFigure<$paranumonly> Figure NumberFigure<$paranumonly>M(HTML Headings++A..A00))335575A@@DDWWaaXXhh wwkkrr ||22++ QQ>>..&&ll55qqEEHHss]]{{..``eeJJXX$$nnxx //CC66^^;;uu iihh uuzz<<   [[--&77AAA&&EEGG__ZZ++==QQbbgg''NNWWA IIKK__ddAvvqqA||$ A::@@B5AHHAPPTOCxxzz22VV zS5S5S5S5S5S6S6S6T6T6T6T6T 6T 6T 6T6T6T6T6T6T6T6T6T6T6T!6T#6T%6T'6T)6T+6T-6T/6T16T36T56T76T96T;6T=6T?6TA6TC6TE6TG6TI6TK6TM6TO6TQ6TS6TU6TW6TY6T[6T]6T_6Ta6Tc6Td6Te6Tg6Ti6Tk6Tm6To6Tq6Ts6Tu6Tw6Ty6T{6T}6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T6T5U5U5U6U6U6U 6U 6U6U6U6U6U6U6U6U6U6U 6U#5U%5U'5U)5U+6U-6U/6U16U36U56U76U96U;6U=6U?6UA6UC6UE6UG6UI6UK6UM6UO6UQ6US6UU6UW6UY6U[6U]6U_6Ua6Uc6Ue6Ug6Ui6Uk6Um6Uo6Uq6Ut5Uv5Ux5Uz6U|6U~6U6U6U6U6U6U6U6U6U6U6U6U6U5U5U5U5U6U6U6U6U6U6U6U6U5U5U5U6U6U6U6U6U6U6U6U6U6U6U6U6U6U6U6U6U6U6U6U6U6U5U5V5V6V6V6V 6V 7V 6V6V8V6V6V9V6V6V9V6V!6V#9V%6V&'U6U6U'S\'So'Sp(Sw*S]0S^ ngC30.29 nh'GEnk'WWWooh %30.37 osT &30.38 H F 30.31 Ho H sU '30.39 o oou'ooG ?'uD wEou'^؀%G1^NDMH "30.34 Du/o^/oooH'H'u'wFoo o ou'wGwHwIMTw[DZ'wa2.wq3.w w^/^/w'GY'H'w1.wxI'I'I'x  Hx B   30.32 DIMoM/Mx'x3SJ SK SRINSS'I/C'IMIMII'I/Se*]/]/f'CJf'CQ/IJMC_ !30.33 IKILIM'IN'Lk%L'Ls'L'IS'IT'IU'IV'IgL'L'D'L'S oԀ2\ t's)s,s,J #30.35 \'Otg\ S SSf'RA'S's)s,s)S+oS's,s)S4s,i S4S4 I%/I&S4S4S4S4S4S4S4S F'S s)K $30.36 SSNNI0NNNNNNNNO O GI'OOOOfi f'OgRD'RW'RS'f'GV'RG'GX'f'GZ G[ R['G] RL'R_'RO'i\ i i i_ i &i i i s,ll lm s,s)s,s,sNOTESs&s&t3S'S(S S*SS'S'V9:V:;V;<V<=V=>V>?V?@V@AVA't3m 30.30 u-t3u,u (30.40 u )30.41 u!'t; *30.42 t't't't't +30.43 t't't)t,t,t)t)t't't'dST*5UX;o[8n8a66dSdV(  HN`@V)HN`@HRHRFootnote Hq<@`@V*Hq<@`@HzHz Single LineH'V+ Footnote$V,!$% H9;2-W) eN }_?T@:<_?W* e }$TB;=$ W+ e P:Heading1 }HTD<>H W, eH* }6TF=?6 W- eN }2-TH>@2- W. eN }_?TJ?A_? W/ e }$TL@B$ W0 e P:Heading2 }HTNACH W1 eH* }6TPBD6 W2 eN }2-TRCE2- W3 eN }_?TTDF_? W4 e }$TVEG$ W5 eP:HeadingRunIn }HTXFHH W6 eH* }6TZGI6 W7 eN }2-T\HJ2- W8 eN }_?T^IK_? W9 e }$ ,T`JL$ , W: e P:Indented } H,TbKM H,, ; eP <e Parent = UL Q=e Depth = 0 } 6,TfLN 6, W> eN }2 -,ThMO2 -, W? eN }_ ?,TjNP_ ?, W@ e }$9TlOQ$9 WA eP:Mapping Table Cell }9HTnPR9H WB eP }96TpQS96 WC eN }29-TrRT29- WD eN }_9?TtSU_9? WE e }$ITvTV$IWF eP:Mapping Table Title }IHTxUWIHWG eP }I6TzVXI6WH eN }2I-T|WY2I-WI eN }_I?T~XZ_I?WJ e }$Y,TY[$Y,WK e P:Numbered }YH,TZ\YH,,L eLI Me Parent = OL QNe Depth = 0 }Y6,T[]Y6,WO eN }2Y-,T\^2Y-,WP eN }_Y?,T]_Y?,WQ e }$b,T `$b,#WR e P:Numbered1 }bH,T _abH,,#S eLI Te Parent = OL QUe Depth = 0 }b6,T `bb6,#WV eN }2b-,T ac2b-,#WW eN }_b?,T bd_b?,#WX e }$T ce$#WY eP:TableFootnote }HT dfH#WZ eP }6T eg6#W[ eN }2-T fh2-#W\ eN }_?T gi_?#W] e }$T hj$#W^ e P:TableTitle }HT ikH#W_ eH* }6T jl6#W` eN }2-T km2-#Wa eN }_?T ln_?#Wb e }$T mo$#Wc eP:Title }HT npH#Wd eH* }6T oq6#We eN }2-T pr2-#Wf eN }_?T qs_?#Wg e }$T rt$#Wh e C:Emphasis }HT suH#Wi eEM }6T tv6#Wj eN }2-T uw2-#Wk eN }_?T vx_?#Wl e }$T wy$#Wm eC:EquationVariables }HT xzH#Wn eEM }6T y{6#Wo eN }2-T z|2-#Wp eN }_?T {}_?#Wq e }$T |~$#Wr eX:Heading & Page }HT }H#Ws eHeading }6T ~6#Wt eN }2-T 2-#Wu eN }_?T _?#Wv e }$T $#Ww eX:Page }HT H#Wx eHeading }6T 6#Wy eN }2-T 2-#Wz eN }_?T _?#W{ e }$T $#W| eX:See Heading & Page }HT  H#W} e See Also }6T  6#W~ eN }2-T 2-#W eN }_?T _?#W e }$T $#W e X:Table All }HT H#W e Table All }6T 6#W eN }2-T 2-#W eN }_?T _?#W e }$T $#W eX:Table Number & Page }HT H# %Table PENumber }6T 6#W eN }2-T 2-#W  eN }_?T _?#W  e }$B T $B #W eHTML Options Table }B T B #W e }B U B #W e }$RU $R#W eControl }RU R#W eValue }hRHU hRH#W e Comments }$bU  $b#W e Image Format }bU  b#W e0001IMAGGIF GIF }hbHU  hbH#W e }$rU  $r#W e!Copy Files Imported by Reference }rU !r#W eN }hrHU "hrH#W e }$U !#$#W eExport Encoding }U "$#W e ISO-8859-1 }hHU #%hH#W e }$U $&$# W eCSS Export Encoding }U %'# W e ISO-8859-1 }hHU &hH# W e }$$ U"$,$$ &!WeSystem Macros }$ U$$$ &!We }$ U&$$ &!We }$ U($$ &!W e }$4hU*$(-$4h&"W! e Macro Name }4hU,$,.4h&"W" e Replace With }4hU.$-/4h&"W# eHead }\4BU0$.0\4B&"W$ e Comments }$Dh,U2$/1$Dh,&#W% e StartOfDoc }Dh,U4$02Dh,&#W& e }Dh,U6$13Dh,,&#' % ��<$defaulttitle></P��ETITLE> }\��DB,��U8�$24��\��DB,&�#W( ��e }$ph��U:�$35��$ph&�$�W) ��e EndOfDoc }��ph��U<�$46����ph&�$W* ��e }��ph��U>�$57����ph&�$W+ ��e }\��pB��U@�$68��\��pB&�$W, ��e }$��h,��UB�$79��$��h,&�%�W- ��eStartOfSubDoc }����h,��UD�$8:������h,&�%W. ��e }����h,��UF�$9;������h,,&�%/ ��%<TITLE> ��<$defaulttitle></P��ETITLE> }\����B,��UH�$:<��\����B,&�%W0 ��e }$��h��UJ�$;=��$��h&�&�W1 ��e EndOfSubDoc }����h��UL�$<>������h&�&W2 ��e }����h��UN�$=?������h&�&W3 ��e }\����B��UP�$>@��\����B&�&W4 ��e }$��h,��UR�$?A��$��h,&�'�W5 ��eStartOfFirstSubDoc }����h,��UT�$@B������h,&�'W6 ��e }����h,��UV�$AC������h,,&�'7 ��%<TITLE> ��<$defaulttitle></P��ETITLE> }\����B,��UX�$BD��\����B,&�'W8 ��e }$��h��UZ�$CE��$��h&�(�W9 ��eEndOfFirstSubDoc }����h��U\�$DF������h&�(W: ��e }����h��U^�$EG������h&�(W; ��e }\����B��U`�$FH��\����B&�(W< ��e }$��h,��Ub�$GI��$��h,&�)�W= ��eStartOfLastSubDoc }����h,��Ud�$HJ������h,&�)W> ��e }����h,��Uf�$IK������h,,&�)? ��%<TITLE> ��<$defaulttitle></P��ETITLE> }\����B,��Uh�$JL��\����B,&�)W@ ��e }$$��h��Uj�$KM��$$��h&�*�WA ��eEndOfLastSubDoc }��$��h��Ul�$LN����$��h&�*WB ��e }��$��h��Un�$MO����$��h&�*WC ��e }\��$��B��Up�$NP��\��$��B&�*WD ��e }$:���� ��Us�$OS��$:���� &�+�WE��eCross-Reference Macros }��:���� ��Uu�$������:���� &�+WF��e }��:���� ��Uw�$������:���� &�+WG��e }$J������Uy�$PT��$J����&�,�WH ��e Macro Name }��J������U{�$SU����J����&�,WI ��e Replace With }D��J��?��U}�$TV��D��J��?&�,WJ ��e Comments }$Z������U�$UW��$Z����&�-�WK ��eHeading }��Z������U�$VX����Z����&�-WL ��e <$paratext> }D��Z��?��U�$WY��D��Z��?&�-WM ��e }$j������U�$XZ��$j����&�.�WN ��e See Also }��j������U�$Y[����j����&�.WO ��eSee <$paratext>. }D��j��?��U�$Z\��D��j��?&�.WP ��e }$z������U�$[]��$z����&�/�WQ ��e Table All }��z������U�$\^����z����&�/R ��%Table <$paranumonly>, P��E <$paratext> }D��z��?��U�$]_��D��z��?&�/WS ��e }$������U�$^`��$����&�0�WT ��e Table Number }��������U�$_a��������&�0WU ��eTable <$paranumonly> }D����?��U�$`���D����?&�0WV ��e }$$�� ��U�'�f��$$�� )�1�WW��eGeneral Macros }v$�� ��U�'����v$�� )�1WX��e }v$�� ��U�'����v$�� )�1WY��e }v$�� ��U�'����v$�� )�1WZ��e }$4ev��U�'bg��$4ev)�2�W[ ��e Macro Name }v4ev��U�'fh��v4ev)�2W\ ��e Replace With }4C��U�'gi��4C)�2W] ��eHead }2��4Q��U�'hj��2��4Q)�2W^ ��e Comments }$Dev��U�'ik��$Dev)�3�W_ ��e }vDev��U�'jl��vDev)�3W` ��e }DC��U�'km��DC)�3Wa ��e }2��DQ��U�'ln��2��DQ)�3Wb ��e }$Z�� ��U�'mq��$Z�� )�4�Wc��eCharacter Macros }lZ�� ��U�'����lZ�� )�4Wd��e }lZ�� ��U�'����lZ�� )�4We��e }$jH��U�'nr��$jH)�5�Wf ��e Character }lj����U�'qs��lj��)�5Wg ��e Replace With }��j?��U�'rt����j?)�5Wh ��e Comments }$zH��U�'su��$zH)�6�Wi ��e }lz����U�'tv��lz��)�6Wj ��e¢ }��z?��U�'uw����z?)�6Wk ��e }$��H��U�'vx��$��H)�7�Wl ��e }l������U�'wy��l����)�7Wm ��e© }����?��U�'xz������?)�7Wn ��e }$��H��U�'y{��$��H)�8�Wo ��e }l������U�'z|��l����)�8Wp ��e® }����?��U�'{}������?)�8Wq ��e }$��H��U�'|~��$��H)�9�Wr ��e }l������U�'}��l����)�9Ws ��e° }����?��U�'~�������?)�9Wt ��e }$��H��U�'��$��H)�:�Wu ��e }l������U�'���l����)�:Wv ��e-- }����?��U�'������?)�:Ww ��e }$��H��U�'��$��H)�;�Wx ��e }l������U�'��l����)�;Wy ��e- }����?��U�'������?)�;Wz ��e }$��H��U�'��$��H)�C�W{ ��e }l������U�'��l����)�CW ��e... }����?��U�'�������?)�CW ��e ��d������U��������""����������d������U�������� ��������$$h������U� ����$$h������ �����l��� $$h������U� ����$$h���������� ! ����W ��Bm }$h�� ��U� ���$h��  �<�W|��eHeadings Table }��h�� ��U� ������h��  �<W}��e }��h�� ��V�� ������h��  �<W~��e }$Cl��V� ��$Cl �=�W ��eHeading Level }��Cu��V� ����Cu �=W� ��eParagraph Format }��CH��V� ����CH �=W ��e Comments }$Sl��V� ��$Sl �>�W ��e1 }��Su��V � ����Su �>W ��eTitle }��SH��V � ����SH �>W ��e }$il��V� ��$il �?�W ��e2 }��iu��V� ����iu �?W UTUT��e Heading1 }��iH��V� ����iH �?W ��e }${l��V� ��${l �@�W ��e3 }��{u��V� ����{u �@W  ��e Heading2 }��{H��V� ����{H �@W  ��e }$l��V� ��$l �A�W  ��e4 }��u��V� ����u �AW  ��e HeadingRunIn }��H��V� ����H �AW  ��e }$l��V �  ��$l �B�W ��e4 }��u��V"� !����u �BW  ��e TableTitle }��H��V$� �����H �BW ��e $$������U� ����$$����%##����l��� $$������U� ����$$�����������_'"�_dinsx} "%(,048<@DHLPSVY\_bfjnqtwz}�����d������U��������%%��������$$������U�$����$$����"(&&�����l��� $$������U�$����$$�������� ���(a%�(,048<@DHLPSVY\_ bfjnqtwz}�����d������U��������(( ��������$$������U�'����$$����%�))����l��� $$������U�'����$$�������� ����b(� bfjnqtwz}���� ���~��SU��+�����~����������UH��ˆ����SV�*3��UH��ˆ�����22 ����l�����d������Sg��������-)�������� ���~��Sh�,�.�����~����������Zl��d����Si�,-0��Zl��d�����//����l��� Zl��d����Sj�,����Zl��d����������.����W UT��d U$����Sk�,.)��U$�����11����l��� U$����Sl�,����U$����������0����W�dAccellera� . UH��ˆ����SW�����UH��ˆ����������+����W UT��d U$����SX�+5��U$�����44 ����l��� U$����SY�����U$����������3�����` Accellera S �` U�w��R��SZ�3���U�w��R��� ����l��� UH��ˆ����;4�����UH��ˆ��ӿ9������7������`Concurrent Assertions  U[8nf��"h6 Ui��` UH��ˆ����;6�����UH��ˆ����:66 ����l���џ ��o��@��џ %uXDet���H� ;E��%uXDet��%uXZuXh(D���Ia� [��h(D��hQX3_<��I5� �<��QX3_<{|\nR:V��I6�;���{|\nR:V��~~H�����l�����d������H��������ZZ�������� I@d@!)��R@�z����I@d@!)� ��� ����N����` ��`-> name a�`� str: vpiName b��`-> On definition j�`� bool: vpiDefAttribute e��` -> value: m�`� vpi_get_value() '�� definition location ~�@� str: vpiDefFile n�`� int: vpiDefLineNo Ql��` T=q?^LPZ��P� X��T=q?^LPZMd ��o�8P��Md ��EE �����l���UQLx^��r�R�����^ǁS}�S����ԹN��W�zUG��ԹNS`4��Gs�fD��S`4]XM)]��Gt�Cs��]XM)]��FF �����l��� Md ��o�����Md ���������@����W"��`concurrent assertions ]XM)]��Gu�����]XM)]���������D����W��`property expr dN��W�zBH��dN.N��W�zGI��.NN��W�zH���N-bM<Z��gY�JZ��-bM<Z��d������p��������RR����������d������_��������QQ��������<l��^� [vC��<lI@d@!)��RB�zU��I@d@!)��>>c�����l���Qk�W��\� X.��Qk�W�Q?Qk ���o�@T�� ��3; UH��ˆ����p�K����UH��ˆ��„9� ����~~~��R ����W,��"h5Expressions5 (supercedes IEEE 1364-2001 26.6.26) UH��ˆ����p�K����UH��ˆ���UQQQ ����l��� ^$̺Q\ڍe��r�A�VW�V�^$̺Q\ڍem$9E+^$E+'waits���o� PW��� @RQ]��Rl� zNB�� @RQ] @Rv @Rv�% vpiAttributeD#Si)��r�(AS[WS[�D#Si)vs,�V��o�TZ��vs,�V��YY �����l���a�g��Y�?O��a�g���\\�����l��� vs,�V��o�����vs,�V���������W����W#��`assert property j���o� Wa��j�DXOKRV���r�&AVcWVk�DXOKRV��DXOKK a�g��Y�����a�g��������X����S��`NOTE W\ ��`aVariables are declarations of property variables. You cannot get the value of these variables. F1� +��u� _���F1� +�F1_R\F1i���u�%w_��F1i��DF1F1,\F1`���u�%^]��,\F1`��9F1,\F1U 8K`U��w� [(f��U 8K`Unvs,�V��o�Zh��nvs,�V��bb �����l��� nvs,�V��o�����nvs,�V���������a����W%��`cover property b\vU{r&e��r�A[gk�g�b\vU{r&en_b\v_wait �e��u�/+ef�e��e!!�CRObb��v��/dffd��CRObbCOMbe��v�/ey��COMbedeD!SYS��r�Ackkc��D!SYS1.^nV��o�aj��1.^nV��ii�����l��� 1.^nV��o�����1.^nV���������h����W*��`expr *`!ޫ��o�hkm�k�*`!ޫ3f$UvjV��o�4jmmj��3f$UvjV��ll�����l��� 3f$UvjV��o�����3f$UvjV���������k����W-��`expr *`!ޫ��o�kq��*`!ޫjk ZgmU��u�����ZgmU��������w����G ��`NOTE: M�� lthe vpiArgument iterator shall return the sequence instance arguments in the order that the formals for the ���fsequence are declared, so that the corresponce between each argument and its respective formal can be UR���kmade. If a formal has a default value, that value will appear as the argument should the instantiation not PUR��@#provide a value for that argument. UH��ˆ����H�=����UH��ˆ��bI� ���[[��Z����=��`Sequence Expression _^ f<f��"h ��d������F�������� ��������E;Z��o� mr��E;ZK0vM|V��o�qz��K0vM|V��tt�����l���T=oz_f��Gw�D��T=oz_f K0vM|V��o�����K0vM|V���������r����W.��`property inst UQy��h�L�����{p�N����hGTFN��i�u88��hGTFNdZgmU��u�$P^��ZgmU��nn�����l���cm_<��H� ;���cm_< M[NJe��v�/f���M[NJeһimmediate assertE;ӡZ��o� r|��E;ӡZɎTT ��h�u�~�8�ɎTT K0֌vM|V��o�z��K0֌vM|V�������l��� ZYqT#W(��w�����ZYqT#W(ו��������$����Z �� -> operation type P�@ � int� : vpiOpType Ztfbg]e��h�u{8�^�Ztfbg]e^#'= Ztf= if &Pql��H�;����&Pqlo��������5����a ��`name b�`� str: vpiName c�`� str: vpiFullName F�� definition location H�@� str: vpiDefFile ]Z�`� int: vpiDefLineNo QE^��`  2_�S��u� >�� 2_�S� 2-4 2_0N�a��wC�6zR{��0N�a��SS�����l��� K0֌vM|V��o�����K0֌vM|V���������|����W/��`property spec WsegS?*V��Gx�s��WsegS?*V�������l���!;�-��o� |��!;�-�!;!;!;���o� ��!;��!;ӡ!;;��6��o� $��;��6��##�����l���hTFOT ��i�uva��hTFOT {v qR:V��H�;x �� qR:V�� ����l��� qR:V��H�;���� qR:V�������������W'��`property decl UH��ˆ����F�p����UH��ˆ��„<� �����������`Sequence Declaration _& H+=X��"h  |<���i�uGnG�|<��(<|<[h8t_<��H� ; ��[h8t_<m#R:V��H�; 2��m#R:V������l��� m#R:V��H�;����m#R:V��������� ����W)��`property inst UH��ˆ����F�p����UH��ˆ���Z ����l���UX��g&z��F�N�����9Ղ �O����� WsegS?*V��Gy�����WsegS?*V�������������W3��`sequence expr MdGez�Ve��h�u~^v�d�MdGez�Ve^dR@MdR@if elsevoqc�p.��i�$ua�voqc�p.��[�����l��� UL��\�;9-�� ULǧƌZ��F� ���ǧƌZ爧6V?~V��F����爧6V?~V�������l��� 爧6V?~V��F�����爧6V?~V�������������W:��`property spec voqc�p.��i�u����voqc�p.������������5(��` -> qualifier S])��`int: vpiQualifer V���i8�%u(a(�V��27z'm']��^�[MCM"�7z'm']��KK1����l���S 9H@`)��w� ��S 9H@`)]>M)V��w�!��]>M)V��??3�����l���1X�dy ��^�>hP��1X�dy ������l��� %5Mg]��G�  ��%5Mg]%>4%>4�% vpiOperand 1X�dy ��^�>����1X�dy ������������W9%��`vpiClockingEvent ȤBLK{��G� ��ȤBLK{��!!�����l��� ȤBLK{��G�����ȤBLK{ϭ�������� ����[8��`NOTES: ^ �� ewithin the context of a property expr, � vpiOpType�  can be any one of vpiNotOp, vpiImplyOp, ���;vpiDelayedImplyOp, vpiAndOp, vpiOrOp, vpiIfOp, vpiIfElseOp P��@TOperands to these operations will be provided in the same order as show in the BNF. /\d��u�����/\d������������0 ��`-> name Q8��` str: vpiName ;��6��o�����;��6���������������1 �� definition location �@� str: vpiDefFile 2�`� int: vpiDefLineNo 7UR��`block identifier @UR�`� str: vpiName B�`� str: vpiFullName C��`is clock inferred D�`� bool:vpiIsClockInferred AI��` !;ӡ���o� %��!;ӡ��!;ӡ<;ӡRQU���o� $&��RQU�� ggRlȩ&�0���o� %'��Tbs Ѱ0��lȩ&lȩtlȩtlȩ"<;lD��o�&)��<;lDP���i9� u,a,�P��PU:1R̥���o� '*��:1R̥��:1R`1;R`;Q��o�)+��`;QfvF2V��o�*<��fvF2V��77�����l���c���i:�%u(0a(0�c��inANnW���\� ;���nANnW��|nnANnFͭl4��\�O1��Fͭl4��//!�����l��� Fͭl4��\�����Fͭl4���������.����W��`expr pǔz3]��i;�u,4a,4�pǔz3]pǝapǝa�* vpiConditionnŬX���\� .H��nŬX��W""nŬFR:V��H�; 5��FR:V��33����l��� FR:V��H�;����FR:V���������2����W+��`formal list item @Ÿڰ]��i<�u0Ga0G�@Ÿڰ]@A@A�% vpiElseStmt&Pql��H� ;26��&Pql��$����l���{qW F���H� ;5A��{qW F��{qW cqW fvF2V��o�����fvF2V���������+����WJ��`stmt ��d������?��������:: �������� UH��ˆ����?�8����UH��ˆ��Sa� ���;;��:������`Property Decl _4 IuWZt��"h  UH��ˆ����?�8����UH��ˆ���7799  ����l���UX��Ba��?�8�����Wx-�9 �����,0A̴���o� +=��,0A̴��,0A`;`;JQ��o�<>B�>�`;JQfMvF2V��o�=BB=��fMvF2V��@@ �����l��� ]>M)V��w�����]>M)V�������������WW��` operation fMvF2V��o�����fMvF2V���������>����WK��`stmt {zuFܤz`��H� ;6D��{zuFܤz`�czunzun{`;JQ��o�>X��`;JQ=>\`P��u=�[L��\`PāMLW-4lZ��H� ;AE��W-4lZ]-)pjM|V��H�;D9��]-)pjM|V��FF&����l��� ]-)pjM|V��H�;����]-)pjM|V���������E����We��`property spec O\���i=� u4La4V�O\��ObOfdX�dy ��\�1J��fdX�dy ��II'�����l��� fdX�dy ��\�����fdX�dy ��������H����W ��`vpiClockingEvent VlQ��\�HJ��VlQ 7z'm']��^�[����7z'm']�������������W;��`immediate assert 04 Se��i>�uGRV�R�04 Se<-04expr@o#aZ��]�>sh��@o#aZ��d������B!��������77 �������� UH��ˆ����B"�N����UH��ˆ��x&y� �����7����(��`Property Specification _ ;9վ;��"h #��u?�>Q�Q�#,"vjV��u@�4>PP��,"vjV��||����l���4ڿS?��i?�uLVVL��4ڿS? 0N�a��wD�z����0N�a\�������������6��` instances H���`port N)��`net O)��`reg CP��` variables V.zeŏ!��wP�*~_U��V.zeŏ!5;$V;$!method func callMC>-.zQ/��wQ�*~T���MC>-.zQ/4ڽS?��i@�uRbaG}�4ڽS?LR6vWVn���I� >G+,�+�6vWVn��6vWVWWV <;^iڰ]��o� BY��<;^iڰ]<;gQr<;gQr�% vpiElseStmt %٪��o�Xi��%٪%%� vpiPropertyUH��ˆ����H�=����UH��ˆ���yoo  ����l���UX��QI��H�=�����<\f�o�����`KM Z��H�[�]��`KM Z Vb.V��H�[\_�� Vb.V��^^)����l��� Vb.V��H�[���� Vb.V���������]����Wr��`sequence expr K̩ ~3��H� []`��K̩ ~3ạPVR*V��H�[_c��ạPVR*V��aa,����l��� ạPVR*V��H�[����ạPVR*V���������`����Wt��`sequence expr 0,Jҍe��iA�uVw}�w�0,Jҍe<-0,stmtK̻ ~���H�[`d��K̻ ~��K̻ K̻ KM l��H� [ce��KM l~PO]]��H�[dm��~PO]]��ff-����l��� ~PO]]��H�[����~PO]]���������e����Wv��` operation ��d������SC��������u��������C\& U,V��]�>M��C\& U,V��kkD����l���9-˦�5��o� Yj��9-˦�5�9-R49-˦)I.p���o� il��)I.p��9*.)I. C\& U,V��]�>����C\& U,V���������h����W}��`expr ^|N�g��o�jp��^|N�g���oo#�����l���K l��H� [en��K l~O]]��H�[mx��~O]]��vv5����l��� ^|N�g��o�����^|N�g ��������l����L��`NOTE j �� iClocking event is always the actual clocking event on which the assertion is being evaluated, regardless P��@3of whether this is explicit or implicit (inferred) Toǹ�F��o�lq��Toǹ�F֘Tzw_Tzw_��JݫX�dy ��o�p[��JݫX�dy ��WW%�����l���-4Z��D� >zs��-4ZuM|V��D�>rz��uM|V��tt(����l��� uM|V��D�>����uM|V���������s����W<��`property inst U$����SD�g� ��U$�����A����l��� ~O]]��H�[����~O]]���������n����Ww��`sequence inst 4S?��iB�ub}}b��4S?Kh l-��H� [n��Kh l-��yy6����l��� Kh l-��H�[����Kh l-��������x����x��`operation type Wy *�`� int: � vpiOpType HM`-4Z��D� >s{��HM`-4ZNMNM)V��D�>zB��NMNM)V��@@*����l��� ,"vjV��uA�>����,"vjV���������Q����W5��`expr 4S?��iC�uw~aV`�4S?bw 1H?ҍe��iD�u}]`�]�1H?ҍe<qSE1SEstmtT=q?^LPZ��MP�  ��T=q?^LPZƌ��P��G � ��ƌ��P��Z�����l��� ƌ��P��G �����ƌ��PE�������������W �� definition location ��� int: vpiDefLineNo �@� str: vpiDefFile d��` QfC��` <KV $���H� [x��<KV $��<KV `KV EV O���H� [��EV O��EV TKV U$����SE�g����U$����������u����o�`Accellera�  Sp �` KV 6���H� [��KV 6��KV <KV Jǯg]��H� [��Jǯg]KSr|KSr|�/ vpiOperandK Z���H� [��K Z��K `K `K Z��H�[ ��`K ZbVT+V��H�[.��bVT+V��7����l���D'l��]�c ��D'lOZT��]� ��OZT�� E�����l��� OZT��]�����OZT��������� ����W~��` variables Uw��R��SF�gu��Uw��R���B����l���j>$l��wW� [C ��j>$lvMdcq��G��+��vMdcq bVT+V��H�[����bVT+V��������� ����Wz��`sequence expr Uw��R��SG�g����Uw��R�������� ����Wq ��l&#Running H/F 4 #��uB�>Q��#PQ xJ涉��uC�>���xJ涉xx�vpiDisableConditionlX���u�%>����lX��#lUH��ˆ����SH�g ���UH��ˆ�����S����l���/\d��u�5 F��/\d��"".�����l��� ]LJ涉��u�Z��]LJ涉eNeN�vpiDisableConditionZ�Q��MQ���Z�Q��0�����l��� Z�Q��MR�����Z�Q������������Q�� multiclock P���@sequence expr T=q?^LPZ��MS�?��T=q?^LPZ*XOT-���^� [n�V�*XOT-��*XOTWXOT UH��ˆ����SI�g����UH��ˆ��������������Ws UT��d U\Q��^�["��U\Q[` F2V��^�[""��[` F2V��!!8����l��� U�w��R��S[�����U�w��R��������5����W| ��l&Running H/F 4# ʯg;]]��wY�[&��ʯg;]]��%%����l��� [` F2V��^�[����[` F2V�������������WA��`stmt U\Q��^�[#C#�U\Q(\-���^� [",C"m�(\-��(\U\ZYqT#W(��w�;*��ZYqT#W(��}}4�����l��� ʯg;]]��wZ�[����ʯg;]]��������� ����WR��` distribution \ʁM)V��w�[ (��\ʁM)V��''"����l��� \ʁM)V��w�[����\ʁM)V���������&����WV��`tf call XKZ��w�[&`��XKZZw��R��Sm�,0���Zw��R���11����l���EUz ���w� $l��EUz ��EU.EU^PΨzV��G�:��^PΨzV��88\�����l���WXO TQ��^�[#-V�-�WXO TQ\ F2V��^�[,VV,��\ F2V��IIP����l���-4vl��H�[ /��-4vl ]V��H�[.2�� ]V��009����l��� ]V��H�[���� ]V���������/����W9��`expr Zw��R��Sn�,����Zw��R��������)����W ��l Running H/F 4  3-4v$���H� [/34�3�3-4v$��3-4vW-4v<yvO���H� [2442��<yvO��<yvK-v3-4v$���H�[35��3-4v$�23W-4vZ��H� [46��W-4vZZ. M)V��H�[5D��Z. M)V��<<;����l���UH��ˆ����B$�N����UH��ˆ���:OO ����l��� ^PΨzV��G�����^PΨzV���������+����Wh��`expr NDh6 Z��M�X��NDh6 ZZ4' ��G� +;��Z4' �EH'EHV0Z4V0UDƌZ��G�:=��UDƌZ Z. M)V��H�[����Z. M)V���������6����W:��` assignment [26M)V��G�;<��[26M)V��66]�����l���UX��ST��B(�}����� Th� �������d������Sy��������AW�������� NMNM)V��D�>����NMNM)V���������{����W>��` arguments U$����Sz�?�Q��U$�����MMT ����l���HM`-4Z��D� >{C��HM`-4ZNMNM)V��D�>B3��NMNM)V��11:����l���-4v-���H� [6R��-4v-��-4v3-4v B'W\vL��Lj�[����B'W\vL� ��� ����v���� 8��` Notes:�  T �� eWithin a sequence expression, � vpiOpType�  can be any one of vpiAndOp, vpiIntersectOp, vpiOr, ���VvpiFirstMatchOp, vpiThroughoutOp, vpiWithinOp, vpiUnaryCycleDelayOp, vpiCycleDelayOp, ��@8vpiRepeatOp, vpiConsecutiveRepeatOp or vpiGotoRepeatOp. !U�� dFor operations, the operands are provided in the same order as the operands appear in BNF, with the ���following exceptions: 8���jvpiUnaryCycleDelayOp� : arguments will be: sequence, left range, right range. Right range will only be  ���$given if different than left range. 8���ivpiCycleDelayOp� : argument will be: lhs sequence, rhs sequence, left range, right range. Right range " ���4will only be provided if different than left range. ���iall the repeat operators: the first argument will be the sequence being repeated, the next argument will ���bbe the left repeat bound, followed by the right repeat bound. The right repeat bound will only be ��@.provided if different than left repeat bound.  ��`  ��`and, intersect, or,  ��`first_match, ��`throughout, within, ��` ##, A��`[*], [*=], [*->] jz ���u� H��jz ��}zjz�QZ���u�JL���QZ�HJ�SZ��u�FJG�J��SZ \ F2V��^�[����\ F2V���������-����WX��`stmt `Q*V��u�4HGGH��`Q*V��KK/�����l��� `Q*V��u�����`Q*V���������J����W?��`expr ^Rg�l��u� GN��^Rg�l�^RQ^Rg U$����S{�?����U$����������A���� �d Accellera Q#�l&SystemVerilog 3.1/draft 4  ^ϬyK���u�%LO��^ϬyK��y^ϬyPy`���u�%NP��Py`��찬yPy p:c)��u�%Ow��p:c)pp�7 vpiArgumentUw��R��S|�?AW��Uw��R���TT_ ����l���<K $���I� [DS��<K $��<K `K E O���I � [RZ��E O��E TK Uw��R��S}�?����Uw��R��������Q����$ ��l^#Copyright  2003! Accellera. All rights reserved."Running H/F 4# Q%��d W WVX���CD� >it��W WVX��W WV:AWVWXO TQ��^�[-mn��WXO TQ,-UH��ˆ����S~�?Q���UH��ˆ�����\\d ����l���SK2l Q*V��M�9]��SK2l Q*V��YY2�����l��� SK2l Q*V��M�����SK2l Q*V���������X����Wk��`sequence expr `K Z��I � [S[��`K Za˹VV?+V��I �[Z��a˹VV?+V��O����l��� UH��ˆ����S�?����UH��ˆ����������W����W( UT��d ND,^LPZ��M� X^��ND,^LPZUQ��M�]a��UQ��__<�����l��� UQ��M�����UQ��������^����l�� multiclock P���@sequence expr ��d������S��������dd��������I HK hdP��M�^b��I HK hdPI _h���M�ac��I _h��I __ deKNe��M�b ��deKNedeUdeU�SequenceUH��ˆ����S�`����UH��ˆ�����ggi����l���˅o3Q��M� z�|��˅o3Q n]��w� [`���n]o�o��/ vpiMatchItem UH��ˆ����S�`����UH��ˆ����������d����W-UTUT��d PHZPZ��C#� >�i��PHZPZ,=N$W*��C$�>hU��,=N$W*��jjC����l��� ,=N$W*��C%�>����,=N$W*��������i����u�� multiclock P���@sequence expr ��d������S��������q|��������mEUI���w� *��mEUI��mEU$\EU (Eڰ]��^� [VnC#o�(Eڰ](&f(&f�% vpiElseStmt*XO T~��^�[mo)�p�*XO T~Vğ[��^� [npCmx�ğ[��[$ji�[$ji($�[=0��^� [ox)n��$�[=0�$�[$1ʗUH��ˆ����S�k�|��UH��ˆ�����wwk����l���D_<���I� >.s��D_<��DIu(D ��I� >rM��u(D �uu,@,YN8HZ=0��CF� >Uu��YN8HZ=0_S,M)H��CG�>ty��_S,M)H��vvF����l��� _S,M)H��CH�>����_S,M)H���������u����W���` clocked seq UH��ˆ����S�k����UH��ˆ����������q����W/ UT��d vk�[z`���^� [p"Co(�vk�[z`��Q�[vk�[ITZ��CM�>uz��ITZLmU,V��CN�>yr��LmU,V��{{G����l��� LmU,V��CO�>����LmU,V���������z����W��`sequence expr U8I��6y��S�kq���U8I��6y���l����l�����d������C`�������� �������� {|\nR:V��I7�����{|\nR:V���������<����W��`sequence decl U8I��6y��S�k����U8I��6yJ� ��� ��|����3 ��"l$ 6i��d 7h��d7Copyright 2002, 2003 by Accellera Organization, Inc. ;UR��d1370 Trancas Street #163 <UR��dNapa, CA 94558 =��dPhone: (707) 251-9977 >��dFax: (707) 251-9877 ?��d @��d A��$lAll rights reserved. No part of this document may be reproduced or distributed in any medium whatsoever to P`��DPany third parties without prior written consent of Accellera Organization, Inc. Qx_<��I9� <��Qx_<!HU"R:V��I:����!HU"R:V��I�����l��� UH��ˆ����Ca�}����UH��ˆ��dT� ���>>������g��`Multiclock Sequence Expression _ H TX��"h  UH��ˆ����Cc�}����UH��ˆ���7  ����l���UX?s=��Cg�p�����+=;]� ����� !HU"R:V��I;�����!HU"R:V�������������W��`sequence inst a˹VV?+V��I �[����a˹VV?+V���������[����WL��`actual arg expr UBI��J��S�k������ �$����8H~z_<��I=�  ��8H~z_<seJR:V��I>� ��seJR:V�� J�����l��� seJR:V��I?�����seJR:V��������� ����W��` identifier �h ���S������h ���h…��d������S��������*��������vP_<��IA�  ��vP_<��K�����l��� vP_<��IB�����vP_<]�������� ���� �� definition location �@� str: vpiDefFile �`� int: vpiDefLineNo  UR��`block identifier UR�`� str: vpiName �`� str: vpiFullName A��` yYZ���IC�  ��yYZ��yYZQZu]cᨱ��ID� ��u]cᨱ�QcIcIzu]zSw+eat���w�l��Sw+eat��Sw+eX+eyܕly*���x� ��yܕly*��yܕl,ܕlT.(_f��x�� ��T.(_fU$����S� ���U$�����m����l���ڍ_R\B ���II� 9��ڍ_R\B ��ڍ_R\H_R\ U$����S� ����U$��������������B �d Accellera QD�l?%SystemVerilog 3.1/draft 4&Extensions to Verilog-2001 d_<��Ic� [:��d_<R:V��Id�[v��R:V��M����l��� R:V��Ie�[����R:V�������������W��`sequence decl Uw��R��S�  ��Uw��R���n����l��� Uw��R��S� ����Uw��R������������H ��l^'#(Copyright )2003* Accellera. All rights reserved.+Running H/F 4, QI��d WӬS?*B��x���WӬS?*B��=�����l���*K -��I� [[:��*K -�*K *K <K WӬS?*B��x�����WӬS?*B�������������W`��`clocked property @꺭l4��x �J��@꺭l4��>>?�����l���D�;Hˆ����S� $*�$�D�;Hˆ���$�##o����l���SO_f��w� ;��SO_fz$l��^�[x&(�&�z$l D�;Hˆ����S� ����D�;Hˆ������������� �����UHˆ����S� ** ��UHˆ���� %%o����l��� UHˆ����S� ����UHˆ����������$����W UT��d wyZT��^�["(("��wyZT��''U����l��� wyZT��^�[����wyZT���������&����WY��`expr z!l���^�[&)Cx)�z!l�"&$�[;[��^�[(KC(K�$�[;[ȃnpUH�ˆ����S� $���UH�ˆ�� $?uWVI���I� >W,,W��?uWVI��?uWVLWV6vWVn���I�>+-��6vWVn�W+TTZ=0��I� >,.��TTZ=0BM)H��I�>-r��BM)H��//+����l��� BM)H��I�>����BM)H���������.����Wi��` clocked seq ��d������S��������2D�������� NMNM)V��D�>����NMNM)V���������C����Wh��`property decl ��_���S�0�5����_�����������漀-4A���D� >C4��漀-4A��漀-4(bL-4-4-��D� >37��-4-�-4-4HM`-4D�;Hˆ����S�02:D�B�D�;Hˆ���B�99r ����l��� [26M)V��G�����[26M)V���������=����Wi��`property expr -4~<��D� >4F��-4~<��88R����l��� -4~<��D�>����-4~<��������7���� �� definition location ��� int: vpiDefLineNo �@� str: vpiDefFile QC��` D�;Hˆ����S�0����D�;Hˆ�������������5�����U$����S�05@��U$�����??p ����l���V=-S?*V��w�!$��V=-S?*V��==>�����l���!ƌ6���G� =a��!ƌ6��!ƌWƌ V=-S?*V��w�����V=-S?*V���������;����W_��`property inst @꺭l4��x �����@꺭l4�������������Wd��`expr U$����S�0����U$����������:���� ��e Accellera Q �m?Extensions to Verilog-2001-SystemVerilog 3.1/draft 4. U�w��R��S�0:B��U�w��R���AAq ����l��� U�w��R��S�0����U�w��R��������@���� ��m^/Running H/F 40Copyright 120032 Accellera. All rights reserved.3#4 Q ��e UHˆ����S�0@DD5��UHˆ����5CCr ����l��� UHˆ����S�0����UHˆ����������B����W ��e UH�ˆ����S�0B���UH�ˆ��5B��d������S��������HH��������#�K$���E;� >7G��#�K$��#�KG�K-EK̎O���E<� >FW��-EK̎O��-EK;KUH��ˆ����S�E����UH��ˆ�����IIs����l��� UH��ˆ����S�E����UH��ˆ����������H����W ��e 0YQ��x �M��0YQ �e��^�[)LC)L��e*8*8�� R�e��^�[KCCK��R�eff��,JZ��x�J��,JZ UH��ˆ����_�L����UH��ˆ��ƒ� ����uuu��Q ����W$��"hVIf, if else, return, case, do while (supercedes IEEE 1364-2001 26.6.35, 26.6.36) ��d������V6� �������PP��������HH��ˆ����V7�O����HH��ˆ�����TTt�����l���UH��ˆ����_�L����UH��ˆ���.UNN ����l�����d������f ��������UU�������� UH��ˆ����f �R����UH��ˆ��‚^� ����AAA��U ����W&��"hEwaits, disables, expect, foreach (supercedes IEEE 1364 26.6.38) HH��ˆ����V8�O����HH��ˆ��� ��� ����P�����e"<$paranum><$paratext><$pagenum> �e#<$paranum><$paratext><$pagenum> �e#<$paranum><$paratext><$pagenum> �e#<$paranum><$paratext><$pagenum> Z�e$<$paranum><$paratext><$pagenum> b�e#<$paranum><$paratext><$pagenum> ~�e"<$paranum><$paratext><$pagenum> �e"<$paranum><$paratext><$pagenum> S g��e UH��ˆ����f �R����UH��ˆ���QRSS  ����l���"a��g�/�X��"a JݫX�dy ��o�����JݫX�dy �����������q����W%��`vpiClockingEvent ϷHse��g�/VY��ϷHseһ#Ϸ#if !<e��g�/Xj��!<eһ,X,Xdisables3b;@fM)V��gZ�J��3b;@fM)V��hhY�����l���IQ��o�q\��IQM���o� [_��M�yGAVS?��iE�u~``~��yGAVS?*ES��h�ud8~��*ESQvs,�V��o�\a��Qvs,�V��@@X�����l���yGASS?��iF�u]a}��yGASS?~]l��G!�<b��l \9ZT��G"�ae�� \9ZT��cc`�����l��� \9ZT��G#����� \9ZT���������b����Wk��` variables kGTFK��h�u^8v��kGTFKu]L_���G%� bf��u]L_��Lu]L}]kL*���G&� eC��}]kL*��L}]kL{^05@ښ ��iZ�/7 ��{^05@ښ ���iia����l��� 3b;@fM)V��g[�����3b;@fM)V���������Z����W"��`property expr {^05@ښ ��i[�/����{^05@ښ ��������g����o(��` -> label Sr)��`str: vpiName ;o[Se��g�/Yn��;o[Seһz6J;z6JreleaseDSYS��r�AglW[k�DSYScg Uo,\`e��r�Akmk�m�Uo,\`en7Uo, wait forkD?t:S��r�Alkkl��D?t:S .^Se��g�/jo��.^SeһJ�.J�if else F^v7^He��g�/np��F^v7^Heһ�F^�waits d�Ve��g�/oq��d�Veһo_o_repeat QحR,e��g�/pt��QحR,eһ\O\Owhile o,a�^A�A*��Os�z����o,a�^A�A*������������W!8��` attribute 7�m e��g�(.��7�m e 3xҫ7�xҫ null stmt P �de��g�/qu��P �deһzPzdeassign 5Ce��g�/t{��5Ceһ:5: delay controlB'W\vL��Ll�[M��B'W\vL��EEj����l�����d������J��������yy�������� UH��ˆ����J�w����UH��ˆ��p=� ���zz��y������`.Attribute (supercedes IEEE 1364-2001 26.6.42) _c $=xL��"h UH��ˆ����J�w����UH��ˆ���Z.xx ����l���UX��_>��J�w�����$=xeI�x����� U .SZe��g�/u}��U .SZeһU event stmtie`N��Or�ze��ie`N ˻{ne��g�/{~��˻{neһq˻{qfor r4FA e��g�/}���r4FA eһ? r? tf callo,a�^A�A*��Ou�z|��o,a�^A�A*��rr^�����l��� FRЍe��g�/~��FRЍeһQIQIforever@R`j���O� z��@R`j��@R`ld`4@]^-���O� zO��4@]^-��4@]^a@]^ f=xGDe��g�/���f=xGDeһRf=R event control LECNe��g�/�� LECNeѴ L atomic stmt !Te��g�/��!Teһddcase f[XkNe��g�/��f[XkNeһcEf[cEforceUaя��g�/��Uaя XaϏ��g�/ �� XaϏQaԏ��g�/ ��Qaԏ*aߏ��g�/ ��*aߏaaΏ��g�/ ��aaΏPaя��g�/ ��Paяcc<aҏ��g�/ ��cc<aҏuN6aԏ��g�/ ��uN6aԏ9.aԏ��g�/��9.aԏaя��g�/��aяKaя��g�/��Kaя9a֏��g�/��9a֏3EHaӏ��g�/��3EHaӏEa֏��g�/��Ea֏Wa֏��g�/��Wa֏n'xa֏��g�/*��n'xa֏}Am`W��g�(s���}Am`W28,M)V��x�M��28,M)V��@�����l���| �^��i�'u &n &�| �^�|h| 28,M)V��x�����28,M)V�������������Wf��`property expr Q e��i�u`$�!�Q e_L#OQOcaseԭË� ��x� ��ԭË� �ԭܕlԭËԭË\���x�  ��ԭË\��ԭË11Ë  ԋ |e��i�u!%�"�ԋ |eOԋ case item#X�dy ��x����#X�dy ��##L�����l���SɾS��i�u"$��SɾS"/TFK��i�u!$%��"/TFK #X�dy ��x�����#X�dy �������� ����Wm ��`vpiClockingEvent SɾS��i�u"%n�%�SɾS!",TFL��i�u$'n$'�",TFL"$Y<���i�u;n:�$Y<��<$Y<vVC8��ir�$u%4n%9�vVC8��22b�����l�����d������K��������.��������P孪(Ha���g�/,��孪(Ha��(H孪(H OOKq0~Y��l� /)d��OOKq0~YOOSFȅOOSF�(_The vpiName property provides the statement label if one was given, otherwise the name is NULL. kRe��hP�/*1��kReһFFFF assignment UH��ˆ����K�(����UH��ˆ��i� ���//��.����G��`5Atomic Statement (supercedes IEEE 1364-2001 26.6.27) _g HX��"h UH��ˆ����K�(�s��UH��ˆ���yQ--  ����l���UXzX��K�(�����Vy�-����� Ւ`-�e��l�/ 3�3�Ւ`-�eՒ:Ւ:�ha؏��hR�/,5��ha؏ vVC8��is�u����vVC8��������'����p(��`-> type q)��`int: vpiCaseType y(��` -> qualifier {)��`int: vpiQualifier z��` Qss��d ҁ+a��l�/00��ҁ+aR���it�%u'9�H�R��%YGR �e��h\�/167�6��e77�ebK��h]�/5775��ebK cbK��h^�/6g�� cbK56*DS��i�udv{v�*DS~^h&�A��iu� u4=n'=�h&�A�h&8%ny[oSùW��i�(uHIn&J�%ny[oSùW <Wƥ*e��i�u&<H�<�<Wƥ*eNH h<W hpattern%yS?��i�u;HH;��%yS?п\���iy� u9>n9A�п\��п2Dп CSe��iz�u=?A�?�CSeNwCwexpr%OS?��i{�u>AA>��%OS? Qvs,�V��o�����Qvs,�V���������_����W.��`assume property %OS?��i|�u?Bn=D�%OS?>? Bl0׻ҍe��i}�uACD�C�Bl0׻ҍeM;]Bl;]stmt$Q/nS?��i~�uBDDB��$Q/nS?$N/lS?��i�uCEnAG�$N/lS?BC 1APSe��i�uDFG�F�1APSe<+N1A+NexprkR_S?��i�uEGGE��kR_S?kR_S?��i�uF nD �kR_S?EF%yS?��i�u<:4I�%yS?;<nY3���i�u:JHn�nY3��nYY8ж4���i�uILn:��8ж4��%88%9XRV���i�&uUQpUS�%9XRV��%9Xr9X HASe��i�uJMN�M�HASeIrLt^HLt^exprA@oS?��i�uLNNL��A@oS?A@mS?��i�uMOp�O�A@mS?LM &_Je��i�uNUpNU�&_JeJO1:1:'patternstS���i�u`bp`b�stS��stat ][ @̍e��i�uKRS�R�][ @̍eIe]e any pattern[YS��i�uQSSQ��[YSZYS��i�uRTpKW�ZYSQR (w S e��i�uSVW�V�(w S eI(tagged patternQ![S:��i�(uOKpOK�Q![S:!v`S��i�uTWWT��!v`Sv`S��i�uVXpSZ�v`STV z0MZve��i�uWYZ�Y�z0MZveJ'kqAz0qAstruct pattern/Q}S��i�uXZZX��/Q}S/QzS��i�uY[pW]�/QzSXY D>wsde��i�uZ\]�\�D>wsdeCaD>atypespecKv&S?��i�u[]][��Kv&S?Kv%S?��i�u\^pZ`�Kv%S?[\ ޮ}&*e��i�u]_`�_�ޮ}&*eC�ޮ}�patternK'S?��i�u^``^��K'S?K'S?��i�u_Pp]P�K'S?^_v:C~��l�u p��v:C~`t S���i�uPcpP �t S��t G"We��i�ubde�d�G"We_G" return stmt5S��i�uceec��5S4S��i�udfl�f�4Scdad\���i� ueglei�ad\��ad d 1 VSe��i�ufhi�h�1 VSe<e1 expr4 S?��i�ugiig��4 S?4 S?��i�uhjlfj�4 S?gh V,G3]��j*�uilli��V,G3]V,/>V,/>�% vpiConditionD?t8S��r�AmmWkq�D?t8SlmG1S��j,�ujn��G1Sej Jp!Ge��r�Akoq�o�Jp!GenZ1zJz ordered waitvR\D#wG��j-�ulI��vR\D#wG$JDanS��r�Amqqm��DanS!ZDw��l�ua���!ZDwN DanS��r�AorWkt�DanSmo @ne��r�Aqs�s�@neWy.@y.typespec!Xm?k��r�Artr��!Xm?kʾ[O���r�AsuWqu�ʾ[O��ʾ[O"Z[Or0Z,���r�'AtvWtx�r0Z,��r0Zr0Z %HZ5dPe��r�Auwx�w�%HZ5dPeW S4%S4sequence instance"HsHk[��r�Avxxv��"HsHk["HZ5k[��r�AwyWuy�"HZ5k[vw"Okc�I��s��AxWx�"Okc�IdU|N���N�z|��dU|N�N��N�z{}��Ng2N���N�z|~��g2N�VN��N�z}��VNzN���N�z~���zN�_NN�a��N�z��_NN�a��}�����l��� _NN�a��N�z����_NN�a\��������������J��` named event K���` prim term M)��` path term N)��` mod path AO��`tchk M@���N�z���M@��QN���N�z��N�UN��N�z��UN9CN���N�z��9CN�ؤN���N�z ��ؤN�3yN�aL/��N�z ��3yN�aL/�� ~�����l��� 3yN�aL/��N�z����3yN�aL/\��������� ����P��` param assign Q���` spec param R)��` task func S)��` AT��` primitive GKsM@���O�z ��KsM@��KsKs+{ON���O�z ��+{ON�c@N��O�z ��c@Nٸ@QUk��O�z��ٸ@QUk.N��O�z��.NRx2N���O�z��Rx2N�&tR'N�Ъ��O �z��&tR'N�Ъ�������l��� &tR'N�Ъ��O �z����&tR'N�Ъ̀�� ��� ��������U��` table entry V���`stmt X)��`process Y)��` operation Z�� concurrent c���@ assertions [x��`sequence decl _z���`property decl ����`clocking block  ��` class defn A!��` constraint dN��O�z��dNN���O �zN��N�!Xm<k��s�AyWy�!Xm<krs L)ҍe��s�A��L)ҍeX tLtstmt!Œlh��s�A��!Œlh!Œlh��s�AW�!ŒlhiiES���s�AW�iiES��ii=ii գO43]��s�AW%�գO43]գXjգXj�* vpiCondition LܝEҍe��s�A"%�"�LܝEҍeX Ũ *Lܨ *stmtvR\D#wG��j2�un��vR\D#wG4nܶ $J10: E��jM�u0 ��ܶ $J10: E!0 2G:֍e��j4�u !� �2G:֍eQ 鹷 do whileܷ%S��j5�u!!��ܷ%Sܶ%S��j6�u #�#�ܶ%S !ŒG;lh��s�A%%��!ŒG;lh/X���j8� u!$!$�/X��/X/X0:{z5���j9�%u#&#&�{z5��s-{!ŒG:lh��s �A"(W(�!ŒG:lh" k $J3]��j;�u$'$'�k $J3]k k �% vpiConditionF0u���j<� u&+&-�F0u��F0 &0IOs@���s �A%)W%)�IOs@��"OIOfL0&���s �'A(*W(*�fL0&��fL0L0I�/=��s �'A)1W)1�I�/=�IL,SI "Se��j@�u',-�,�"Se.!"!expr2S?��jA�u+--+��2S?/S?��jB�u,.'0�/S?+, #q)oؖҍe��jC�u-/0�/�#q)oؖҍe.~4Jz#q4JzstmtM(qS?��jD�u.00.��M(qS?M(qS?��jE�u/-��M(qS?./4{bɖ7���s �'A*2W*2�4{bɖ7��4{b {b{^[�X��s�'A13W13�{^[�X�z{^[hq@t=���s�A24W24�hq@t=��"%Iq@hq@ Cmdڰ]��s�A35W3M�Cmdڰ]CUCU�* vpiElseStmt W(emde��s�A46V�6�W(emdeo(oW(eo'disablesF&SN|��s�(A57V57�F&SN|F\-/)RV���s�&A68V6:�F\-/)RV��F\-/)/) NDWC^e��s�A79:�9�NDWC^epg2.ND2. disable forkF jS��s�A8::8��F jSF iS��s�A9;V7=�F iS89 ['$e��s�A:<=�<�['$ep^&[&disableFeS��s�A;==;��FeSFeS��s�A<>V:@�FeS;< 9x p0e��s�A=?@�?�9x p0eDi9xtaskj k[��s�A>@@>��j k[j pk[��s�A?AV=A�j pk[>?nDkc�c��s�A@BV@B�nDkc�cU!tS���s�AACVAC�U!tS��U!3! +]��s�ABDVBF�+]+V+V�*vpiExpr /&Be��s �ACEF�E�/&BeD4/&function5}Uk[��s!�ADFFD��5}Uk[5|Bk[��s"�AEGVCI�5|Bk[DE &ex#Q$ȍe��s#�AFHI�H�&ex#Q$ȍeDw.&ex. named forkx#dk[��s$�AGIIG��x#dk[x#Qk[��s%�AHJVFL�x#Qk[GH !81Ee��s&�AIKL�K�!81EeDngC !C  named begino'8Kk[��s'�AJLLJ��o'8Kk[o'81k[��s(�AKMVI��o'81k[JK/iit���s)�ALNW4N�/iit��"ii/iihi>(���s*�'AMUWMU�hi>(��hrNBhi>(-N��N�zP��-N/e$VN���N�zOQ��/e$VN�.PGN��N�zPR��.PGNRN���N�zQ��RN�7 ۖiu3]��s+�ANVWN��ۖiu3]ۖr*ۖr*�* vpiConditionF 4m6��s,�AUW��F 4m65LD G8J6��s-�AVX��D G8J6SU KBe��s.�AWYZ�Y�KBem12fQKfQ expect stmtC8FS��s/�AXZZX��C8FSC8FS��s0�AY[i�[�C8FSXYX{lt���s1�%AZ\iZ\�X{lt�� o {lX{lk���s2� A[]i[]�k��kkL#Kc���s3�%A\^i\^�#Kc�� @#K#K ẊЮڰ]��s4�A]_i]_�ẊЮڰ]XoXo�* vpiElseStmtY8Nu���s5� A^`i^b�Y8Nu��Y8N!h98N %bHe��s6�A_ab�a�%bHeI=K%=K property spec d\S?��s7�A`bb`�� d\S? d\S?��s8�Aaci_e� d\S?`a >n疧ҍe��s9�Abde�d�>n疧ҍeII>Istmt pS?��s:�Aceec�� pS? pS?��s;�Adfibh� pS?cd >ͨ@ҍe��s<�Aegh�g�>ͨ@ҍeJ!ˣ>ͨˣstmt!)`S?��s=�Afhhf��!)`S?!)`S?��s>�Agiie��!)`S?fgC8d\10;F3��s?�Ahj��C8d\10;F3цZh C/=uHVe��s@�Aikl�k�C/=uHVega:C: foreach stmt-SS��sA�Ajllj��-SS-PS��sB�Akm}�m�-PSjkl-2t���sC�%Aln}ln�l-2t��8-2l-2Y���sD� Amo}mo�Y��YLhT 5c���sE�%Anp}np�T 5c��Vo5T 5 קy͋]��sF�Aoq}oq�קy͋]ק.ק.�*vpiArray w5݂@]��sG�Apr}pr�w5݂@]w>7w>7�* vpiLoopVarslLu���sH� Aqs}qu�lLu��lLhL ,eoRe��sI�Artu�t�,eoReDd!,e! variablesk"S?��sJ�Asuus��k"S?kS?��sK�Atv}rx�kS?st ,e. Re��sL�Auwx�w�,e. ReDd8O,e8O variablesk-"`S?��sM�Avxxv��k-"`S?k-"_S?��sN�Awy}u{�k-"_S?vw 9TE{ҍe��sO�Axz{�z�9TE{ҍeDPU9TPUstmtD|S?��sP�Ay{{y��D|S?D|S?��sQ�Az|}x|�D|S?yzh5YH���sR�A{}}{��h5YH��h595y109BD��sS�A|���y109BDl|KQФz9��s�K������U�Q5���� {@!��s�)~����{@!J8X{X expr jjZ|!��s�)~��jjZ|!J8K9jjZK9 operationMAzQ0��s�*~���MAzQ0Lh@P|J���s�+~��Lh@P|J��Lh@PA@PL|L9U��s�,~��L|L9U m#.2NS!��s�-~��m#.2NS!J8m#constantM@zR/��s�*~��M@zR/ fH^GX!��s�*~��fH^GX!J8U<fU< simple expr f?zG[��s�*~��f?zG[J85f?5 part-selectMAvzQ/��s�*~ ��MAvzQ/ \5 ��s�*~,��\5 5djdj vpiParentiQ@D眙U��lj�$uapb��iQ@D眙U�� e�����l��� iQ@D眙U��lk�u����iQ@D眙U�������� ����}(��`-> name S~)��` str: vpiName  gcƍe��l�/g0��gcƍeһgdo-while~+a��l�/3��~+a03 g+e��l�/��g+eһg assign stmt ՇP�e��l�/��ՇP�eՇ~Շ~�p a ��l�/��p a pa��l�/��pa ppU$e��l�/��ppU$eһJpJexpect x�e��l�/��x�expxp� laa[,��l�/�� laa[, iaa[/��l�/�� iaa[/ Ca~e��l�/��Ca~eһ<bC<bforeach ժ'�e��l�/��ժ'�eժKժK�yb?��l�/��yb?wbB��l�/��wbB .wSe��l�/!��.wSeһ.return {d�e��l�/"#�"�{d�e{ۣ{ۣ�ϔ4aW��l�/!##!��ϔ4aWϔ2aZ��l�/"$��ϔ2aZ!" ûϔ2ڍe��l�/#&��ûϔ2ڍeһnûnbreak Ֆ�e��l�/$'(�'�Ֆ�eՖՖ�ٻa‘��l�/&((&��ٻa‘ٸa”��l�/')��ٸa”&' ԭUȍe��l�/(+��ԭUȍeһ`v`vcontinue#J8ej�~��s�.~ -��J8ej�~�J8ejJ8v(J8Xk����s�/~,.��J8Xk���J8fUkJ8Xk yt ��s�*~-0��yt MM� vpiOperand��d������qa��������QQ��������]���s�/~.1��]��Dm pR䏡!��s�*~02��pR䏡!J8CpC! func callMAMzQ/��s�*~13��MAMzQ/ d0YHDŽL3!��s�*~24��d0YHDŽL3!J8UqAd0YUqA! sys func callMAH>zQ/��s�*~35��MAH>zQ/MXHzQ0��s�,~46��MXHzQ0Ա"Lhl���s�/~57��Ա"Lhl��Ա"&="ԱkEKl���s�/~68��ԱkEKl��ԱkE%kEvkS���s�.~79��vkS��vkSv"Ա9?���s�.~8:��Ա9?��Ա9v9 Hbwޛ7 !��s�,~9;A�;�Hbwޛ7 !V}o!Ho!expr&a^0��s�,~:<A:��&a^0 Hޛ7 !��s�,~;=@�=�Hޛ7 !V}Hexpr&^0��s�,~<>@<��&^0 mƴ4 ��s�-~=?��mƴ4 uu� vpiLeftRange ƺ ��s�-~>@��ƺ � vpiRightRange&^1��s�,~?A��&^1<=&a^1��s�,~@B��&a^1:; Fa3!��s�,~ACD�C�Fa3!ShaFa1expr#\?&^߳0��s�,~BDDB��#\?&^߳0#\?#^߳3��s�,~CE��#\?#^߳3BCPҭt2��s�1~DG��Pҭt2���FFV����l��� Pҭt2��s�~����Pҭt2쑔��������E����+�`->constant selection  ��`bool: vpiConstantSelect Q��` Sx@fkbtF��s�1~EI��Sx@fkbtF���HHW����l��� Sx@fkbtF��s�~����Sx@fkbtF��������G����)+��` -> decompile * ��`str: vpiDecompile ++��`-> size 0 ��` int: vpiSize 2+��` -> value W4 C��`vpi_get_value() Ps;0r��s�1~GK��Ps;0r���JJf����l��� Ps;0r��s�~����Ps;0r��������I����E+��`-> operation type | ��`int: vpiOpType Q��` O=&tA0��s�2~IM��O=&tA0���LLg����l��� O=&tA0��s�~����O=&tA0��������K�����+��`-> constant type  ��`int: vpiConstType Q��` 7ɮJ!��s�,~KNR�N�7ɮJ!Sn7ɻtypespec#'^0��s�,~MRRM��#'^0] UH��ˆ����qb�/����UH��ˆ��€&0� ���b��Q ������"h7Event control (supercedes IEEE 1364-2001 26.6.30) g��`/Event stmt (supercedes IEEE 1364-2001 26.6.27)  f��"h7  ��`,Process (supercedes IEEE 1364-2001 26.6.27)  -��"h9 !X��` #j��` Q$uUN��` UH��ˆ����qd�/����UH��ˆ���R5PP  ����l���#$^1��s�,~NS��#$^1MN=Zk���s�/~RT��=Zk��=#' A _A!��s�*~SUV�U�A _A!S eA erange#fk^0��s�*~TVVT��#fk^0#fk^0��s�*~UW��#fk^0TU (gYVU"!��s�,~VXY�X�(gYVU"!S(g sequence inst#fe^0��s�,~WYYW��#fe^0#fe^3��s�,~XZ��#fe^3WX =RY۫\!��s�,~Y[\�[�=RY۫\!S=Rpattern#fe^0��s�,~Z\\Z��#fe^0#fe^3��s�,~[]��#fe^3Z[#fe^u��s� ~\^��#fe^uȎ[���s�/~]_��Ȏ[��Ȏ$ Mp5Aǖ#��s�0~^T��p5Aǖ#���``h����l��� p5Aǖ#��s�~����p5Aǖ#����������_����"��`: #�� 1) For an operator whose type is � vpiMultiConcat� , the first operand shall be the multiplier expression. The remaining operands !��@3shall be the expressions within the concatenation. 1�� 2) The property � vpiDecompile�  will return a string with a functionally equivalent expression to the original expression within ;���zthe HDL. Parenthesis shall be added only to preserve precedence. Each operand and operator shall be separated by a single 4��@Nspace character. No additional white space shall be added due to parenthesis. U�� m3) new vpiOpTypes: vpiInsideOp, vpiMatchOp, vpiCastOp, vpiPreIncOp, vpiPostIncOp, vpiPreDecOp, vpiPostDecOp, _���vpiIffOp, vpiCycleDelayOp. The cast operation is represented as a unary operation, with its sole argument being the expression A��@hbeing cast, and the typespec of the cast expression being the type to which the argument is being cast. y�� u4) new vpiConstType: vpiNullConst, vpiOneStepConst, vpiUnboundedConst. The constant vpiUnboundedConst represents the 9����@,$�  value used in assertion ranges.�  #���� 5) the one to one relation to typespec must always be available for vpiCastOp operations and for simple expressions. For other ����@Uexpressions it is implementation dependent whether there is any associated typespec. Qn����`h6) Variable slices are represented by part-selects whose parent simple expression is an array variable. n J涉��u<�_���n J涉nn�vpiDisableConditionRCQy?��t�/�����c~�P����oُ���t�.b�d��oُ��ߘُoُ 뼉NrL��t�*bce��뼉NrL뼑Xn뼑Xn� vpiCondition 0h㚛7 ��t�,bdfg�f�0h㚛7 >!ߺ0hߺ,exprx%\*��t�,begge��x%\*x%\*��t�,bfh��x%\*Ӈef)}|���t�.bgi��)}|��Ɲ}|)}| 0tfnu ��t�,bhjk�j�0tfnu >!݆0݆,stmtxs"\*��t�,bikki��xs"\*xs"\*��t�,bjl��xs"\*҇ij Vq+x ��t�-bkm��Vq+x | 8V 8-event control @QCzj-��t�*bln��QCzj-ߘُ���t�/bmo��ߘُ��ߘُُ)ُ�d��u��.bnp��)ُ�d�)}|)ُƝ}|���u�/boq��Ɲ}|��Ɲ}|P}|  /�t&��u�*bprs�r� /�t&  �+� #8&�L��u�*bqssq��#8&�L#8F#8F�.� /*��u�*brt�� /*qrnj\*Wv��u�,bsu��nj\*Wv H[P㹐 ��u�-btvw�v�H[P㹐 >!UW4UW42 named eventxF\*��u�*buwwu��xF\*xF\*��u�*bvx��xF\*ԇuvɊW��u �0bwz��ɊW���yyu ����l��� ɊW��u �b����ɊW ��������x����W#��`aNOTEFor event control associated with assignment, the statement shall always be � NULL� . ^HpVhA-��u �1bx|��^HpVhA-���{{v ����l��� ^HpVhA-��u �b����^HpVhA- ��������z����W ��` q>VU"!��u �-bz}~�}�q>VU"!>Ͼq>2 sequence inst\*��u�*b|~~|��\*\*��u�*b}���\*҇|}? p��u�/b���C� �P7���� K>E!��u�1���K>E!)K- event stmt�b~-��u�*�����b~-by)c: ��tP�/����l4 2�P9����b-��u�*��b-�iQΑ(Ǵ#���u�.��iQΑ(Ǵ#��t(iQΑ( RP㹐 ��u�*��RP㹐 /ϕNN4 named event9] 픰��u�*��9] 픰7] ��u�*��7] ӈN(Ǒ ���u�/ ��N(Ǒ ��N(e(( _K�!��u�  ��_K�!__�-� 7H3q)��u�  ��7H3q)7S7S�+ -> blocking 7;~CnÊ ��u �  ���7;~CnÊ 7]7]� bool: vpiBlocking u{ ��tS�)� � �u{  X:u:4module[$�^QT��tT�*  ��[$�^QT[#^QU��tU�* ��[#^QU [:K^��tV�,��[:K^ yKi¤D ��tW�-��yKi¤D mvyKv-initial[:h`^QT��tX�*��[:h`^QT[7h`^QT��tY�*��[7h`^QT[:aJ^���tZ�+��[:aJ^��[:aJaJ qMB ��t[�-��qMB mZbqZb5process }vUĨ!��t\�-��}vUĨ!m}v-final[:j~^QT��t]�*��[:j~^QT[7j|^QV��t^�*��[7j|^QVE:L3^ZV��t_�,��E:L3^ZV 2jbBv ��t`�,��2jbBv .Xmw^b2w^b,blockE:h"^QT��ta�,��E:h"^QTE7h"^QT��tb�,��E7h"^QTE:b�^���tc�+��E:b�^��E:b�]:b� NH ��td�-��NH .Xm[D[D5stmt kGX ��te�, �� kGX .Xmh h, atomic stmtE:^QT��tf�, ��E:^QTE7^QU��tg�,!��E7^QU!<ZC����th�3 "��!<ZC���!<Z<Z fԤETܐ ��ti�,!#$�#�fԤETܐ .BAfԱA,scope p^QT��tj�,"$$"�� p^QTn^QV��tk�,#%��n^QV"#+ ���tl�/$&��+ ��+ K+ ްCk�i��tm�/%')�'�ްCk�i�ްCkB޹�q��tn�/&()&(�޹�q�޹Keޛ;����to�/'))'��ޛ;���޶ޛ;ޛ;�m��tp�(*��ޛ;�m͈&( t!��tr�-)+,�+�t!3NytNy-always[�A^QT��ts�**,,*��[�A^QT[@^QU��tt�*+/��[@^QU*+) f j ��tz� ,0��f j f ȭf ȭ�6-> always type f ʕcI ��t~� /2��f ʕcI f ҷf ҷ�6int: vpiAlwaysType TahR��t�����TahR��������2����W" ��`NNOTE- vpiAlwaysType can be one of: vpiAlwaysComb, vpiAlwaysFF, vpiAlwaysLatch TahR��t� 0���TahR��11w����l�����d������t��������55�������� UH��ˆ����t�3����UH��ˆ��� ���66��5 ����%��`/Assignment (supercedes IEEE 1364-2001 26.6.28) &��"h :�  ' f�� fNOTE: vpiOpType will return vpiAssignmentOp for normal non-blocking = assignments, and the operator e��@Icombined with the assignment for the operators described in section 7.3. -̪d��`For example, the assignment ._T�`  a[i] += 2; Q/_T��`1will return vpiAddOp for the vpiOpType property. UH��ˆ����t�3����UH��ˆ���Q�44 ����l���Xyeb 3��t�3������7V�4:���� Ň!MY ��t�)6�89�8�Ň!MY hlŇ- assignment.ې\*��t�*67997��.ې\*,ې\*��t�*68:��,ې\*ш78Gʒ;���t�.69;��Gʒ;��GоG Fdw0L��t�*6:<��Fdw0Lv.F. vpiRhs Q Ľ<7 ��t�,6;=>�=�Q Ľ<7 ^JJ\Q J\,expr'\*��t�,6<>><��'\*'\*��t�,6=?��'\*Ԉ<=Gʐ���t�/6>@��Gʐ��GG>{;���t�.6?A��>{;��>{о>{ &4ԿBL��t�*6@B��&4ԿBLv+&4+ vpiLhs Q ė?7 ��t�,6ACD�C�Q ė?7 ^J;;Q Ĥ;;,expr'"f\*��t�,6BDDB��'"f\*'"d\*��t�,6CE��'"d\*ӈBCС>{���t�/6DF��С>{��>{С>{ >{�O��t�.6EG�� >{�O� G >{βЌ4���t�.6FH��βЌ4��β BOBOR ��t�*6GIJ�I�BOBOR iBOB2 delay control;OHQ\*��t�*6HJJH��;OHQ\*;OHP\*��t�*6IKQ�M�;OHP\*҈HI ??]S ��t�*6JLM�L�??]S i;}?;}2event control ;OH�\*��t�*6KMMK��;OH�\*;OH�\*��t�*6LNQJP�;OH�\*҈KL ?2AIU ��t�*6MOP�O�?2AIU iV?2AV2repeat control;OHH<\*��t�*6NPPN��;OHH<\*;OHH<\*��t�*6OQQM��;OHH<\*ԈNO;OHP\*Y(8��t�*6PR��;OHP\*Y(8JP&J���t�/6QS��&J��&J;½J!"_���t�/6RT��!"_��!"_;½_!$_�DP��t�.6SU��!$_�DP�!$SN!$_"T���t�/6TV��"T��"T<T@#]p4��t�16U���@#]p4���WWy����l��� @#]p4��t�6����@#]p4��������V����(+��` -> operator ,��` int: vpiOpType +��` -> blocking ) ��`bool: vpiBlocking Q*��` ��d�������g��Left�d�������Right�d������� Reference�d������� �����d���������HTML�d����� ��HTML�d�����  ��Headings�d����� $��HTML�d�����'��HTML�d����� 8�����d����� N�����d����� }�����d����� p�����d����� =�����d�����w�����d�����(�����d�����L�����d�����,��First�d�����?�� last left�d�����`�� boilerplate�d�����k�� title page�d����� �� Index.left�d�����0�� Index.right�d������E��Cover�d������O��TOC�d���� �R�����d���� �K�����d���� �/�����d���� ��3������E�������@��@��������������������� ���������������Q������������Mapping Table Title������. ������@��@��������������������� ���������������Q������������Body������. �������@��@������������������� ���������������Q������������ Paragraph������. ����f�@�������������������� ���������������Q� ���������8 ��.��.���.�H��.�l��.���.���.�؀��.���.� ��.�D��.�h��.���.�Body������������f�@�����������������������������������a�����������.�BodyAlt�����������f�@���������T� ������� ���������������Q� ���������� HeadingRunIn�����Body. �����f�@�����������������������������������a� ����������.�BodyAlt������������f�@����������������������������������a� ����������.�BodyAlt������������f�@�����������������������������������a�����������.�BodyAlt���������� f�@��������H�U��������� ���������������a� ����������H2���� H:<n>.<n+> Body�������f�@��������������"���������������������a����������( $���H���l����������������������� �����D�����h��������������������Body1������. � ����f�@��������������"���������������������a����������) $���H���l����������������������� �����D�����h��������������������Body1ind������. ������f�@���������������"������� ���������������Q���������� ���� ���� PageHeader.left������. ��� f�@��������HU��������� ���������������a� ����������H2���� H:<n>.<n+> Body���� ��f�@��������������"���������������������a���������� $���H���l����������������������� �����D�����h��������������������Callout������. ��� ��f�@��������������"���������������������a���������� $���H���l����������������������� �����D�����h��������������������Callout������. ����f�@������������������� ���������������Q���������� ��.��.���.�H��.�l��.���.���.�؀��.���.� ��.�D��.�h��.���.�Body������������f�@����������������� ���������������Q����������� CellFooting������. ������f�@�������������"���������������������a���������� $���H���l����������������������� �����D�����h��������������������Body1������. ����f�@������������"������� ���������������Q������������ Bulleted����\t�������f�@������������"������� ���������������Q�����������CellBody������������f�@������������"������� ���������������Q�����������CellBody������������f�@�������������"���� ���������������Q����������� CellHeading������������f�@�������������"���� ���������������Q����������� CellHeading����������f�@������������"������� ���������������Q������������� Footnote�����������f�@��������������������� ���������������Q����������" $�� H�� l�� ���� ���� ���� ���� ���� D���� h���� ���� Notes����NOTES�. ��� f�@���������T�� ������� ���������������Q� ����������Heading2�����Body������f�@���������������"������� ���������������Q���������� �� ���� ���� ���� PageFooter.left������. ���f�@������������"������� ���������������Q������������ Indented�����������f�@������������������ ���������������Q���������� �� Numbered����<n+>.\t������f�@��������E��������� ���������������Q������������ Numbered1����<n=1>.\tNumbered����f�@������������"������� ���������������Q������������� TableFootnote������������f�@��������T��������� ���������������Q� ���������� TableTitle����T:Table <n+>: �������f�@��������T��������� ���������������Q� ���������� TableTitle����T:Table <n+>: ����� f�@���������P������������������������Q� ����������Title�����Body�� ����f�@�������������"���������������������a���������� $���H���l����������������������� �����D�����h��������������������Body1ind������. ����f�@�������������������� ���������������Q����������* ��.��.���.�H��.�l��.���.���.�؀��.���.� ��.�D��.�h��.���.�Body����������f�@����������D����"������� �������������������������# $���H���l����������������������� �����D�����h����������Note����� P1,Normal. ����f�@�������������������� ���������������Q���������� ��.��.���.�H��.�l��.���.���.�؀��.���.� ��.�D��.�h��.���.�Body������������f�@���������������"������� ���������������Q���������� ���� PageHeader.right������. ����f�@���������������������� ���������������a����������+ �� $�� H�� l�� ���� ���� ���� ���� ���� D���� h���� ���� Definition������. �����f�@���������������"������� ���������������Q���������� �� ���� ���� ���� PageFooter.right������. � ��<f�@��������������������� ���������������Q� ��������� $�� H�� l�� ���� ���� ���� ���� ���� D���� h���� ���� P1,Normal������. ��f�@���������������������� ���������������a���������� $�� H�� l�� ���� ���� ���� ���� ���� D���� h���� ���� DefinitionIndent������. ��� f�@����������D����"������� �������������������������# $���H���l����������������������� �����D�����h����������Note����� P1,Normal. ����f�@������������������� ���������������Q���������� ��.��.���.�H��.�l��.���.���.�؀��.���.� ��.�D��.�h��.���.�Body������������f�@�����������������������������������a�����������.� BodyAltItal������������f�@���������������"������� ���������������Q������������� PageHeader.right������. �����f�@����������������������������������a�����������.� BodyAltItal�����������f�@������������������� ���������������Q����������* ��.��.���.�H��.�l��.���.���.�؀��.���.� ��.�D��.�h��.���.�Body����������f�@����������@����"������� �������������������������# $���H���l����������������������� �����D�����h����������Note����� P1,Normal. ����f�@��������������������� ���������������Q���������� $���H���l����������������������� �����D�����h���������� FL,FlushLeft������. ������@��@��������������������� ���������������Q�������������Mapping Table Title������. ������@��@��������������������� ���������������Q�������������Mapping Table Cell������. ������@��@������������������������������������Q� ����������� �Mapping Table Cell������. ������@��@������������������������������������Q� ����������� �Mapping Table Cell������. ������@��@��������������������� ���������������Q� ����������� �Mapping Table Cell������. ��� �@��@��������������������� ���������������Q����������0�������..SectionHeadingTOC������. ������@��@��������������������� ���������������Q�����������.�*�.�����.. H2,1.1TOC������. ��� �@��@��������������������� ���������������Q��������������������..H1,1stLevelHeadTOC������. ������@��@��������������������� ���������������Q�������������-�������..AT,AnnexTitleTOC������. ������@��@��������������������� ���������������Q����������-���F���Z�������.. AH2,A.1.1TOC������. ���� �@��@��������������������� ���������������Q����������-���F�������.. AH1,A.1TOC������. ��� �@��@��������������������� ���������������Q����������-�������..x.Annex.HeadingTOC������. ���� �@��@��������������������� ���������������Q����������-�������.. AN,AnnexTOC������. ���f�@���������@����"������� ������������������������� $���H���l����������������������� �����D�����h����������Note����� P1,Normal. ��� f�@��������H�U����������� ���������������a� ����������H2.1����H:<n=30>.<n=29> Body������f�@�����������������������������������a�����������.� BodyAltBold������������f�@�����������������������������������a� ����������.�BodyAlt�����������f�@����������������� ���������������Q������������ Numbered����<n+>.\t����� f�@��������U����������� ���������������a� ����������H2.1����<$chapnum>.<n=28> Body������f�@�����������������������������������a� ����������.� BodyAltBold������������f�@�����������������������������������a� ����������.� BodyAltBold������������f�@����������������������������������a� ����������.� BodyAltBold��������9���������������� �������Emphasis��������������� �������EquationVariables ��������������a� ��������arial ��������������Q��������� ��������������Q��������� ��������������Q����������� �������vp���Q������������ ��������������Q������������������������Q� ������������������3 8���Q� ����������� �������3 8���Q� ����������� ��������������Q������������������������a� ��������obj_def ��������������Q� ������������������������a�������������������������a���������� ��������������a�������������������������a� ��������� ��������������a���������� ��������������a� ��������� ��������������a���������arial ��������������Q���������� ��������������a� �����������������������Q���������� ��������������Q� ��������� ��������������Q� ��������� ��������������Q��������������������������a� �����������������������a� ��������obj_def ��������������a���������arial��������������a���������obj_def ��������������a������������������������a���������obj_def ��������������Q���������� ������������������������ �������������� � ��������Bold ��������������Q���������tags ������������Q��������tags ��������������a� ��������arial���������������a�������������������������a���������� ��������������Q���������� ��������������a������������������������a������������������������a� ��������� ��������������a���������routine �������������Q���������tags������������a��������obj_def���N�����������a���������obj_def��������������a���������� ��������������Y ���������Code��������������a������������������������a� ��������� ��������������a���������� ��������������a���������� ��������������Q� ��������� �������������� � ����������6������������������Zd���������������������������Zd�����Zd����������d�����Zd�����Zd������Zd�����Zd�����Zd������Zd������������d�����Zd�����������d������Zd����������������Zd����Zd����Zd����������������Zd�����������d����Zd�������Zd�����������d�����Zd�����������������Z�������Z������������������������;��������������������������Zd������Zd�����Zd�����Zd����Zd�����������������������������Z���������������� ���������������Z�������Z�@������������������������������������������Z����Zd����Zd�����Zd�������Thin����Medium����Double����Thick�@���� Very Thin�������������������� ��"��������H��H��H��H��H�Format A� ����"�������H��H��H��H��H�Format B��������������H� Mapping Table���z��>����������������H����6����-����?������ @�� ������������������H����z�� ����!*������h����h����h����B����_�� N��+0������������������?����_�� ��13������ev����ev����C����Q������ p��4C������H����������?����)�� W��<B������l����u����H�����C�$z�� �������������������$Cz�����������������������$Sz���������������� ��!�"�$qz������������#���$��%��&��'��$z��,����������(���)��*��+��,��$z������������-���.��/��0��1��$z������������2���3��4��5��6��$z������ ������7���8��9��:��;��$z������ ������< ���= ��> ��? ��@ ��$z������ ������A ���B ��C ��D ��E ��$z������ ������F ���G ��H ��I ��J ��$ z��,���� ������K ���L ��M ��N ��O ��$9z������ ������P ���Q ��R ��S ��T ��$Iz������ ������U���V��W��X��Y��$Yz��,����������Z���[��\��]��^��$bz��,����#������_���`��a��b��c��$��z������#������d���e��f��g��h��$��z������#������i���j��k��l��m��$��z������#������n���o��p��q��r��$��z������#������s���t��u��v��w��$��z������#������x���y��z��{��|��$��z������#������}���~���������$��z������#�����������������$��z������#����������� �� �� ��$��z������#������ ��� ��������$��z�������#����������������$B���� �����#������������$R��������#��������������$b��������#�������������$r��������#��������� ��!��$�������� #������"���#��$��$���������#������% ���& ��' ��$$z�� �����"&�������(!���)!�*!�+!�$4z������!#&�������,"���-"��."��/"��$Dz��,����"$&������0#���1#��2#��3#��$pz������#%&������4$���5$��6$��7$��$��z��,����$&&������8%���9%��:%��;%��$��z������%'&������<&���=&��>&��?&��$��z��,����&(&������@'���A'��B'��C'��$��z������')&������D(���E(��F(��G(��$��z��,����(*&������H)���I)��J)��K)��$$��z������)�&������L*���M*��N*��O*��$:��_�� �����,&�������P+���Q+�R+�$J��_������+-&�������S,���T,��U,��$Z��_������,.&������V-���W-��X-��$j��_������-/&������Y.���Z.��[.��$z��_������.0&������\/���]/��^/��$��_������/�&������_0���`0��a0��$$_�� �����2)�������b1���c1�d1�e1�$4_������13)�������f2���g2��h2��i2��$D_������2�)������j3���k3��l3��m3��$Z�� �����5)�������n4���o4�p4�$j������46)�������q5���r5��s5��$z������57)������t6���u6��v6��$��������68)������w7���x7��y7��$��������79)������z8���{8��|8��$��������8:)������}9���~9��9��$��������9;)�������:���:��:��$��������:C)������;���;��;��$)�� �����= ������� <���<�<�$C)������<> �������=���=��=��$S)������=? ������>���>��>��$i)������>@ ������?���?��?��${)������?A ������@���@��@��$)������@B ������A���A��A��$)������A� ������B��� B��!B��$��������;�)������C���C��C���� ��2.0�Inserted��Deleted����1.1�Comment������ �Sr��S��SM��SP��S`��Sc��S� ! �S�"# �S�%& �S�'( �S�)* �S�+,�S�-.�S�/0�S�12�S�34�S�� ����d� �Black�������T!�White����dd���A�Red���dd�����Green���d�d��� �Blue���d�����Cyan�����d���Magenta����d���� �Yellow���@t�b�@���( Accent40Online 040-660099�@t�b������AccentOnline 040-660099��(@����Gray���Hcc������Dark RedOnline 206- CC0000�P�<������Color 8������Header/Footer $1Header/Footer $1Header/Footer $2Header/Footer $2IndexIndexCommentCommentSubjectSubjectAuthorAuthorGlossaryGlossaryEquationEquation Hypertext Hypertext  Cross-Ref Cross-Ref Conditional TextConditional TextPositionFMPrivatePositionFMPrivateRangeEndFMPrivateRangeEndFMPrivate HTML Macro HTML Macro����� W.Times New Roman.R.400�� FrameRoman�W.Times New Roman.R.700�� FrameRoman� W.Arial.R.400�� FrameRoman� W.Arial.R.700�� FrameRoman� W.Arial.I.400�� FrameRoman�W.Times New Roman.I.400�� FrameRoman� W.Times.R.400�� FrameRoman� W.Arial.I.700�� FrameRoman� W.Times.R.700�� FrameRoman�W.Courier New.R.400�� FrameRoman�@TimesPTimes New RomanX Courier New`Arial Regular Regular BoldRegularItalic��������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������ϣ_g?*k78[_3%, Qe3rQ_0zx`;t;15-nf; ^r% ~5?^W~.݅ 'zÅ+~/#P=ˡ/ne4q5(` ) ,U3}㴁I~q"+_MXι1 :0ɱ;|+m?*M D}TZ]*~yfdu3zo,C]'t!i]I4BRhEc_mYwm˩!RR]N1%}VL "j뿝Snl�Wpk`N˂ޛae*  0)6"2LE9Y͑.L(շ*H7g3i^rދ<\%#U:<zgT榁\v5 +7����