// 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