primitive PH2PRND ( LOUT, CLK1, CLK2, DATA1, DATA2, RESET);
    output LOUT; reg LOUT;
    input CLK1;
    input CLK2;
    input DATA1;
    input DATA2;
    input RESET;
    table
         1    0    1     ?     1    :   ?   :  1 ;
         0    1    ?     1     1    :   ?   :  1 ;
         1    1    1     1     1    :   ?   :  1 ;
         ?    0    1     ?     1    :   1   :  - ;
         ?    1    0     0     ?    :   ?   :  0 ;
         ?    1    1     1     1    :   ?   :  1 ;
         0    ?    ?     0     1    :   0   :  - ;
         0    ?    ?     1     1    :   1   :  - ;
         1    ?    0     0     ?    :   ?   :  0 ;
         1    ?    1     1     1    :   ?   :  1 ;
         ?    ?    0     0     1    :   0   :  - ;
         ?    ?    1     1     1    :   1   :  - ;
         ?    ?    0     0     0    :   ?   :  0 ;
         0    ?    ?     0     0    :   ?   :  0 ;
         ?    0    0     ?     0    :   ?   :  0 ;
         ?    ?    0     0     ?    :   0   :  - ;
         0    ?    ?     0     ?    :   0   :  - ;
         ?    0    0     ?     ?    :   0   :  - ;
    endtable
endprimitive