`celldefine
`suppress_faults
`enable_portfaults

`ifdef TETRAMAX
`define functional
`endif

`ifdef functional
 `timescale 1ns / 1ps
`ifndef dont_change_delay_mode // See CDT 66389 for detail on dont_change_delay_mode
 `delay_mode_distributed
`endif
`ifndef dont_change_delay_mode // See CDT 66389 for detail on dont_change_delay_mode
 `delay_mode_unit
`endif
`else
 `timescale 1ns / 1ps
`ifndef dont_change_delay_mode // See CDT 66389 for detail on dont_change_delay_mode
 `delay_mode_path
`endif
`endif 

module scs8hs_maj3_4 ( X ,  A , B , C , vpwr , vgnd );
input vpwr, vgnd;
output  X ;
input  A , B , C ;

wire	X , A , B , C ;
wire	csi_opt_296, csi_opt_274, csi_opt_275 ;

`ifdef functional
`else
reg csi_notifier;

	specify
    if ((!B&C)) (A +=> X) = (0:0:0,0:0:0);
    if ((B&!C)) (A +=> X) = (0:0:0,0:0:0);
    if ((!A&C)) (B +=> X) = (0:0:0,0:0:0);
    if ((A&!C)) (B +=> X) = (0:0:0,0:0:0);
    if ((!A&B)) (C +=> X) = (0:0:0,0:0:0);
    if ((A&!B)) (C +=> X) = (0:0:0,0:0:0);
	endspecify
`endif

  or ( csi_opt_296 , B , A ) ;
  and ( csi_opt_274 , csi_opt_296 , C ) ;
  and ( csi_opt_275 , A , B ) ;
  or  ( UDP_IN_X , csi_opt_275 , csi_opt_274 ) ;
  U_VPWR_VGND (UDP_OUT_X, UDP_IN_X, vpwr, vgnd) ;
  buf  (X, UDP_OUT_X) ;
endmodule
`endcelldefine
`disable_portfaults
`nosuppress_faults