新思科技（Synopsys）收购德国检测软件生产商PikeTec。