Half-adder HDL file