Add alu systemc model and testbench