`ifdef SPEEDSIM
`define TMP123987
`endif
`ifdef LV_scanmodel
`define TMP123987
`endif
`ifdef VERITY
`define TMP123987
`endif
`ifdef TMP123987
module XPROP (DOUT, DIN, NOTIFIER, RESET);
    output DOUT;
    input  DIN;
    input  NOTIFIER;
    input  RESET;
assign DOUT = DIN;
endmodule
`else
primitive XPROP (DOUT, DIN, NOTIFIER, RESET);
    output DOUT; reg DOUT;
    input  DIN;
    input  NOTIFIER;
    input  RESET;
    table
         1      ?      (?1)  :   ?   :  1 ;
        (?1)    ?        ?   :   ?   :  1 ;
        (?0)    ?        ?   :   ?   :  0 ;
    endtable
endprimitive
`endif