Integrated circuit maker Synopsys Thursday said it has acquired InnoLogic Systems for an undisclosed amount.
San Jose, Calif.-based InnoLogic is a custom design verification company for semiconductors and circuits.
With this acquisition, Mountain View, Calif.-based Synopsys says it will pad its Formality tool to offer an improved verification package for very complex system-on-chip (SoC) designs containing large instances of embedded memories, complex high-speed I/Os, and other full custom circuits.
“With a large percentage of total silicon being consumed by memories and complex high-speed I/Os, we recognized the growing need for technology that can quickly and accurately verify the functionality of these custom components,” Synopsys senior vice president Antun Domic said in a statement. “By retaining the strength of InnoLogic’s key technology and technologists, we will be able to extend our equivalence checking capability to address challenges of highly complex custom designs.”
InnoLogic’s platform is able to verify the functionality of these custom designs through an approach called “sequential equivalency checking” based on patented symbolic simulation technology. In addition, InnoLogic’s transistor-level formal analysis capabilities consider the dynamic effects of transistor size and process technology, which is critical for accurately modeling the timing-dependent functionality found in these type of components. These capabilities enable the custom circuit designer to fully verify the functional equivalence of their behavioral level simulation models against their transistor-level implementation netlist – something not offered in other equivalency checking tools.
Synopsys did not say how many of InnoLogic’s staff would be migrating after the acquisition completed.
This is the third major purchase in less than a year for Synopsys. In April, the company took over Qualis’ Domain Verification Component technology and celebrated the closure of its acquisition of lithography technology provider Numerical Technologies.