module altr_hps_cknand (
    input  wire              nand_in1,     // and input 1
    input  wire              nand_in2,     // and input 2
    output  wire             nand_out      // and output
);

// -------------------
// Port declarations
// -------------------

// -----
// RTL
// -----

`ifdef ALTR_HPS_INTEL_MACROS_OFF
assign nand_out = ~(nand_in1 & nand_in2);

`else


`endif

endmodule