As evidence of the continued consolidation in the EDA industry, Synopsys announced Sunday it would acquire privately held formal verification provider Atrenta, for an undisclosed sum. That was ...