udp_RSQB.v 6.96 KB
// VERSION:3.00 DATE:1999.09.24 UDP
`timescale 1ps / 1ps
`celldefine
`ifdef verifault
    `suppress_faults
`endif

primitive udp_RSQB ( Q, S, R, G, RB, SB, notifier );
    output Q;
    input  S,R,G,RB,SB,notifier;
    reg    Q;

    table

//      S    R    G    RB    SB   notifier:   Qt  :   Qt+1
        *    ?    0     1     0      ?    :   ?   :    0;
        *    0    1     1     0      ?    :   ?   :    0;
        *    0    x     1     0      ?    :   ?   :    0;
      (?1)   0    1     1     1      ?    :   ?   :    0;
      (?1)   0    1     1     x      ?    :   ?   :    0;
        *    ?    ?     0     ?      ?    :   ?   :    1;
        *    1    1     ?     ?      ?    :   ?   :    1;
        *    ?    0     1     1      ?    :   ?   :    -;
      (?0)   0    x     1     1      ?    :   ?   :    -;
      (?0)   0    1     1     1      ?    :   ?   :    -;
      (?x)   0    1     1     1      ?    :   0   :    -;
      (?1)   0    x     1     1      ?    :   0   :    -;
      (?x)   0    x     1     1      ?    :   0   :    -;
        *    ?    0     1     x      ?    :   0   :    -;
        *    0    x     1     x      ?    :   0   :    -;
      (?x)   0    1     1     x      ?    :   0   :    -;
      (?0)   0    1     1     x      ?    :   0   :    -;
        *    ?    0     x     1      ?    :   1   :    -;
      (?0)   0    1     x     1      ?    :   1   :    -;
      (?0)   0    x     x     1      ?    :   1   :    -;
      (?0)   x    1     x     1      ?    :   1   :    -;
      (?0)   x    x     x     1      ?    :   1   :    -;
      (?0)   1    x     1     1      ?    :   1   :    -;
      (?0)   x    1     1     1      ?    :   1   :    -;
      (?0)   x    x     1     1      ?    :   1   :    -;
      (?0)   x    1     1     x      ?    :   1   :    -;

        ?    *    0     1     0      ?    :   ?   :    0;
        ?  (?0)   1     1     0      ?    :   ?   :    0;
        ?  (?0)   x     1     0      ?    :   ?   :    0;
        1  (?0)   1     1     1      ?    :   ?   :    0;
        1  (?0)   1     1     x      ?    :   ?   :    0;
        ?    *    ?     0     ?      ?    :   ?   :    1;
        ?  (?1)   1     ?     ?      ?    :   ?   :    1;
        ?    *    0     1     1      ?    :   ?   :    -;
        0  (?0)   1     1     1      ?    :   ?   :    -;
        x  (?0)   1     1     1      ?    :   0   :    -;
        0  (?x)   1     1     1      ?    :   1   :    -;
        0  (?0)   x     1     1      ?    :   ?   :    -;
        0  (?1)   x     1     1      ?    :   1   :    -;
        0  (?x)   x     1     1      ?    :   1   :    -;
        0  (?1)   x     1     0      ?    :   1   :    -;
        1  (?0)   x     1     1      ?    :   0   :    -;
        0  (?0)   x     1     x      ?    :   0   :    -;
        ?    *    0     1     x      ?    :   0   :    -;
        0  (?0)   1     1     x      ?    :   0   :    -;
        x  (?0)   1     1     x      ?    :   0   :    -;
        ?    *    0     x     1      ?    :   1   :    -;
        0  (?0)   1     x     1      ?    :   1   :    -;
        0  (?x)   1     x     1      ?    :   1   :    -;
        0    *    x     x     1      ?    :   1   :    -;

        ?    ?  (?0)    1     0      ?    :   ?   :    0;
        ?    0    *     1     0      ?    :   ?   :    0;
        1    0  (?1)    1     1      ?    :   ?   :    0;
        1    0  (?1)    1     x      ?    :   ?   :    0;
        ?    ?    *     0     ?      ?    :   ?   :    1;
        ?    1  (?1)    ?     ?      ?    :   ?   :    1;
        0    ?  (?0)    1     1      ?    :   ?   :    -;
        1    0  (?0)    1     1      ?    :   ?   :    -;
        x    0  (?0)    1     1      ?    :   ?   :    -;
        x    x  (?0)    1     1      ?    :   ?   :    -;
        0    0    *     1     1      ?    :   ?   :    -;
        x    0  (?1)    1     1      ?    :   0   :    -;
        1    0  (?x)    1     1      ?    :   0   :    -;
        x    0  (?x)    1     1      ?    :   0   :    -;
        ?    ?  (?0)    1     x      ?    :   0   :    -;
        0    0  (?1)    1     x      ?    :   0   :    -;
        x    0  (?1)    1     x      ?    :   0   :    -;
        ?    0  (?x)    1     x      ?    :   0   :    -;
        0    x  (?1)    1     1      ?    :   1   :    -;
        0    x  (?x)    1     1      ?    :   1   :    -;
        0    1  (?x)    1     1      ?    :   1   :    -;
        0    0    *     x     1      ?    :   1   :    -;
        0    1  (?0)    x     1      ?    :   1   :    -;
        0    1  (?x)    x     1      ?    :   1   :    -;
        0    x    *     x     1      ?    :   1   :    -;
        1    0  (?0)    x     1      ?    :   1   :    -;
        x    0  (?0)    x     1      ?    :   1   :    -;

        ?    ?    0     1   (?0)     ?    :   ?   :    0;
        ?    0    ?     1   (?0)     ?    :   ?   :    0;
        1    0    1     1     *      ?    :   ?   :    0;
        ?    ?    ?     0     *      ?    :   ?   :    1;
        ?    1    1     ?     *      ?    :   ?   :    1;
        ?    ?    0     1   (?1)     ?    :   ?   :    -;
        0    0    ?     1   (?1)     ?    :   ?   :    -;
        x    0    1     1   (?1)     ?    :   0   :    -;
        1    0    x     1   (?1)     ?    :   0   :    -;
        x    0    x     1   (?1)     ?    :   0   :    -;
        ?    ?    0     1   (?x)     ?    :   0   :    -;
        ?    0    x     1   (?x)     ?    :   0   :    -;
        0    0    1     1   (?x)     ?    :   0   :    -;
        x    0    1     1   (?x)     ?    :   0   :    -;
        0    x    1     1   (?1)     ?    :   1   :    -;
        0    x    x     1   (?1)     ?    :   1   :    -;
        0    1    x     1   (?1)     ?    :   1   :    -;
        ?    ?    0     x   (?1)     ?    :   1   :    -;
        0    0    1     x   (?1)     ?    :   1   :    -;
        0    x    1     x   (?1)     ?    :   1   :    -;
        0    ?    x     x   (?1)     ?    :   1   :    -;

        ?    ?    0   (?1)    0      ?    :   ?   :    0;
        ?    0    ?   (?1)    0      ?    :   ?   :    0;
        1    0    1   (?1)    ?      ?    :   ?   :    0;
        ?    ?    ?   (?0)    ?      ?    :   ?   :    1;
        ?    1    1     *     ?      ?    :   ?   :    1;
        ?    ?    0   (?1)    1      ?    :   ?   :    -;
        0    0    ?   (?1)    1      ?    :   ?   :    -;
        x    0    1   (?1)    1      ?    :   0   :    -;
        1    0    x   (?1)    1      ?    :   0   :    -;
        x    0    x   (?1)    1      ?    :   0   :    -;
        ?    ?    0   (?1)    x      ?    :   0   :    -;
        ?    0    ?   (?1)    x      ?    :   0   :    -;
        0    x    1   (?1)    1      ?    :   1   :    -;
        0    1    x   (?1)    1      ?    :   1   :    -;
        0    x    x   (?1)    1      ?    :   1   :    -;
        ?    ?    0   (?x)    1      ?    :   1   :    -;
        0    ?    ?   (?x)    1      ?    :   1   :    -;

        ?    ?    ?     ?     ?      *    :   ?   :    x;

    endtable
endprimitive

`ifdef verifault
    `nosuppress_faults
`endif
`endcelldefine