'ST]VMKLX��G ��������=SYRK�;��0MQ���4IVQMWWMSR�MW�KVERXIH�XS�GST]��HMWXVMFYXI�ERH�SV�QSHMJ]�XLMW�HSGYQIRX��YRHIV�XLI�XIVQW�SJ�XLI+29�*VII�(SGYQIRXEXMSR�0MGIRWI��:IVWMSR�����SV�ER]�PEXIV�ZIVWMSR�TYFPMWLIH�F]�XLI�*VII�7SJX[EVI*SYRHEXMSR��[MXL�RS�-RZEVMERX�7IGXMSRW��RS�*VSRX�'SZIV�8I\XW��ERH�RS�&EGO�'SZIV�8I\XW���%�GST]�SJXLI�PMGIRWI�MW�MRGPYHIH�MR�XLI�WIGXMSR�IRXMXPIH��+29�*VII�(SGYQIRXEXMSR�0MGIRWI��

7(*��7XERHEVH�(IPE]�*SVQEX ��,��

��������

7XERHEVH�(IPE]�*SVQEX�7TIGM¾GEXMSR:IVWMSR����1E]�����3TIR�:IVMPSK�-RXIVREXMSREP

6IJIVIRGIW

DXMQIWGEPI��RW��TW�

DGIPPHI¾RI�

QSHYPI�2%2(���=��%��&��' �����SYXTYX�=�����MRTYX��%��&��'��

������9WI�:IVMPSK�2%2(�TVMQMXMZI����RERH��=��%��&��' ��

���WTIGMJ]����������HIPE]�TEVEQIXIVW�������WTIGTEVEQ�XV�!�������XJ�!������

���������TEXL�HIPE]WW��������%��"�= �!��XV��XJ ���������&��"�= �!��XV��XJ ���������'��"�= �!��XV��XJ �����IRHWTIGMJ]�

IRHQSHYPI��

DIRHGIPPHI¾RI�

:IVMPSK�'IPP�4VMQMXMZI

LXXT���[[[��IGI�SLMS�WXEXI�IHY�bFMF]O�II����&SPMR1CTEVX�CXMQMRK�THJ

�()0%=*-0)���()7-+2��8)78-2+� ���8-1)7'%0)��RW ���')00����')008=4)��2%2(�� ����-278%2')�� ����%R]�2%2(�����()0%=������%&73098)��������-34%8,�%�=���������������������� ���������������������� ��������-34%8,�&�=���������������������� ���������������������� ��������-34%8,�'�=���������������������� ���������������������� ����� ��� �� � �

DXMQIWGEPI��RW��TW�

DGIPPHI¾RI�

QSHYPI�(**��54��52��(��'0/ �����SYXTYX� � 54��52�����MRTYX�� � (��'0/�����VIK���� � 238-*-)6�����WYTTP]��62��72��

���FYJ����� � � -���GPO��'0/ �����YHTCH½� � -���R���(��GPO��62��72��238-*-)6 �����ERH����� � � -���¿EK��62��72 �����FYJ����� � � -���54��R� �����RSX����� � � -���52��R� ��

���WTIGMJ]�������WTIGTEVEQ���������XVGU � !����� � XJGU � !����� � XVGUR � !����� � XJGUR � !��������������XWIX��!������ � XLPH � !����� � XQE\T[�� � !����� � XQMRT[��� � !������

�����������4%8,�()0%=7���������MJ��¿EK ��TSWIHKI�'0/��"��54������( �!��XVGU��XJGU ����������MJ��¿EK ��TSWIHKI�'0/��"��52������( �!��XVGUR��XJGUR ��� �WIXYTLSPH��TSWIHKI�'0/���¿EK�!!�� ��TSWIHKI�(��XWIX��XLPH��238-*-)6 ��� �WIXYTLSPH��TSWIHKI�'0/���¿EK�!!�� ��RIKIHKI�(���XWIX��XLPH��238-*-)6 ��� �[MHXL�RIKIHKI�'0/��XQMRT[�����238-*-)6 ��� �[MHXL�TSWIHKI�'0/��XQMRT[�����238-*-)6 ������IRHWTIGMJ]�

IRHQSHYPI�

DIRHGIPPHI¾RI

LXXT���[[[��IGI�SLMS�WXEXI�IHY�bFMF]O�II����&SPMR1CTEVX�CXMQMRK�THJ

primitive udp_dff (out, in, clk, clr_, set_, NOTIFIER); output out; input � in, clk, clr_, set_, NOTIFIER; reg out;

table

//� |----------------------------------- in // | |-------------------------------- clk // | | |---------------------------- clr_ // | | | |------------------------ set_ // | | | | |-------------------- NOT // | | | | | |-------------- Qt // | | | | | | |-------- Qt+1 // | | | | | | | // | | | | | | | // | | | | | | | // � | | | | | | | � 0 r ? 1 ? : ? : 0 ; // clock in 0 � 1 r 1 ? ? : ? : 1 ; // clock in 1 � 1 * 1 ? ? : 1 : 1 ; // reduce pessimism � 0 * ? 1 ? : 0 : 0 ; // reduce pessimism � ? f ? ? ? : ? : - ; // no changes on negedge clk � * b ? ? ? : ? : - ; // no changes when in switches � ? ? ? 0 ? : ? : 1 ; // set output � ? b 1 * ? : 1 : 1 ; // cover all transistions on set_ � 1 x 1 * ? : 1 : 1 ; // cover all transistions on set_ � ? ? 0 1 ? : ? : 0 ; // reset output � ? b * 1 ? : 0 : 0 ; // cover all transistions on clr_ � 0 x * 1 ? : 0 : 0 ; // cover all transistions on clr_ � ? ? ? ? * : ? : x ; // any notifier changed

endtable

endprimitive

9(4��9WIV�(I¾RIH�4VMQMXMZI

LXXT���[[[��IGI�SLMS�WXEXI�IHY�bFMF]O�II����&SPMR1CTEVX�CXMQMRK�THJ

78%8)�(IWGVMTXMSR������� 0SKMG�PS[������� 0SKMG�LMKL�<����� 9RORS[R�>����� ,MKL�MQTIHERGI�#����� ��SV���SV�<�F����� ��SV���J������ ���� ��*EPPMRK�)HKI�SR�ER�MRTYX�V������ ���� ��6MWMRK�)HKI�SR�ER�MRTYX�T������ ���� �SV����\ �SV��\�� �SV����^ �SV��^�� �R������ ���� �SV����\ �SV��\�� �SV����^ �SV��^�� �������� �## ��%PP�XVERWMXMSRW������ 2S�'LERKI�

LXXT���[[[��IGI�SLMS�WXEXI�IHY�bFMF]O�II����&SPMR1CTEVX�CXMQMRK�THJ

�()0%=*-0)���()7-+2��8)78-2+� ���8-1)7'%0)��RW ���')00�����')008=4)��(**� �����-278%2')�� ����%R]�(**�����()0%=�������%&73098)�������-34%8,��TSWIHKI�'0/ �54���������������� ��������������� �������-34%8,��TSWIHKI�'0/ �52���������������� ������������� �������-34%8,��(�54������������� ������������� �������-34%8,��(�52������������� ������������� �����8-1-2+',)'/�������,30(��TSWIHKI�( ��TSWIHKI�'0/ ���������������������� �������,30(��RIKIHKI�( ��TSWIHKI�'0/ ���������������������� �������7)894��TSWIHKI�( ��TSWIHKI�'0/ ���������������������� �������7)894��RIKIHKI�( ��TSWIHKI�'0/ ���������������������� �������;-(8,��RIKIHKI�'0/ ���������������������� �������;-(8,��TSWIHKI�'0/ ���������������������� ���� �� � �