DBF AP L-Checker ALU