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

primitive udp_RSQ ( 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     1       ?  :   ?  :   0;  
      (?0)   1    1     ?     1       ?  :   ?  :   0;  
      (?0)   ?    x     0     1       ?  :   ?  :   0;  
        *    ?    ?     ?     0       ?  :   ?  :   1;  
      (?1)   ?    1     ?     ?       ?  :   ?  :   1;  
        *    ?    0     0     1       ?  :   ?  :   -;  
        *    ?    0     1     1       ?  :   ?  :   -;  
      (?0)   0    ?     1     1       ?  :   ?  :   -;  
        *    ?    0     x     1       ?  :   0  :   -;         
      (?0)   0    ?     x     1       ?  :   0  :   -;  
      (?0)   x    1     x     1       ?  :   0  :   -;  
      (?0)   ?    x     x     1       ?  :   0  :   -;  
      (?0)   1    x     1     1       ?  :   0  :   -;  
        *    ?    0     1     x       ?  :   1  :   -;  
        *    0    ?     1     x       ?  :   1  :   -;  
      (?1)   0    x     1     1       ?  :   1  :   -;  
      (?x)   0    1     1     1       ?  :   1  :   -;  
      (?x)   0    x     1     1       ?  :   1  :   -;  

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

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

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

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

        ?    ?    ?     ?     ?       *  :   ?  :   x; 

    endtable
endprimitive

`ifdef verifault
    `nosuppress_faults
`endif
`endcelldefine