Synopsys купила разработчика инструментов для тестирования автомобильного ПО.