A 400MHz 64bit BiCMOS ALU