verify alu