// Generated by Cadence Encounter(R) RTL Compiler RC10.1.306 - v10.10-s357_1

// Verification Directory fv/gt 

module gt(x, a, b);
  input [1:0] a, b;
  output x;
  wire [1:0] a, b;
  wire x;
  wire n_0, n_1, n_2;
  OAI22X1 g59(.A (b[0]), .B (n_2), .C (b[1]), .D (n_1), .Y (x));
  OAI21X1 g60(.A (a[1]), .B (n_0), .C (a[0]), .Y (n_2));
  INVX1 g62(.A (a[1]), .Y (n_1));
  INVX1 g61(.A (b[1]), .Y (n_0));
endmodule