U.K. chip company Graphcore has been formally acquired by Japan’s SoftBank; terms of the deal were not disclosed.