EE Times reported this acquisition today, and we've added it to our Wiki page of all known EDA mergers.