spyglass

June 8, 2015

Synopsys to acquire Atrenta

Atrenta's SpyGlass line and others to be absorbed in Verification Continuum and Galaxy as part of EDA's latest major consolidation.

Article | Topics: Commentary, Conferences, Blog - EDA, - RTL, Verification | Tags: DAC 2015, formal verification, galaxy, low-power design, RTL analysis, spyglass, static verification, verification continuum | Organizations: Atrenta, Synopsys