Product category: Design and Development Software
News Release from: Synopsys
Edited by the Electronicstalk Editorial Team on 1 July 2003
Synopsys acquires InnoLogic Systems
Synopsys has acquired InnoLogic Systems, a pioneer of memory and full-custom equivalence checking technology
With this acquisition, Synopsys now offers a faster, more comprehensive formal verification solution for today's complex SoC designs containing large instances of embedded memories, complex high-speed I/Os, and other full custom circuits. Terms of the deal were not disclosed. "With a large percentage of total silicon being consumed by memories and complex high-speed I/Os, we recognised the growing need for technology that can quickly and accurately verify the functionality of these custom components.
This article was originally published on Electronicstalk on 1 July 2003 at 8.00am (UK)
Related stories
Acquisition to expand IP portfolio to DDR
Synopsys is set to acquire the semiconductor IP assets of Mosaid Technologies, and will integrate these into its DesignWare IP portfolio
Development platform precedes Marvell processor
Virtual platform enables development of smartphones, handheld and consumer electronics devices that use the Marvell PXA3xx XScale technology application processor
This acquisition demonstrates Synopsys' commitment to providing best-in-class formal verification solutions to address these challenges", said Antun Domic, Senior Vice President and General Manager of Synopsys' IC Implementation business unit.
"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".
SoC designs contain multiple full custom elements such as embedded memories and complex high-speed I/Os, which are typically difficult to verify with traditional equivalency checking tools.
Further reading
Acquisition addresses power management challenges
ArchPro's silicon-proven power management technologies are a natural fit with Synopsys' advanced verification platform
Measurement link aids optical proximity correction
Design for manufacturing interface helps customers to develop faster, more accurate and predictive OPC models for advanced 45nm and beyond technologies
InnoLogic's solution 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 modelling 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 behavioural level simulation models against their transistor-level implementation netlist - something not offered in other equivalency checking tools.
"Many of our customers want a comprehensive verification solution from a single supplier that addresses their entire verification challenge", said Dr Dian Yang, cofounder, President and CEO of InnoLogic Systems.
"By bringing together Synopsys' Discovery verification platform with InnoLogic's complementary formal verification technologies and transistor-level expertise, we will enable our customers to verify their next-generation designs with higher confidence".
• Synopsys: contact details and other news
• Email this article to a colleague
• Register for the free Electronicstalk email newsletter
• NEW
• Electronicstalk Home Page
Related Business News
Icoa Is Partnering With Anchorfree To...
...Enhance And Monetize Thousands Of Wi-fi Hotspots. Icoa, Inc., a national provider of wireless broadband Internet access and managed network services in high-traffic public locations, and AnchorFree Inc., a rapidly growing Wi-Fi community powered by advertising, have announced today that they are partne
Olympics raises demand for IT contractors
The number of IT contractors working in the engineering sector has almost doubled in 12 months because of demand generated by the 2012 Olympics, according to contractor Giant Group PLC.
Stellar Appoints CIO to Lead Call...
...Centre Outsourcing Technology Strategy. Stellar, a leading global business process outsourcing provider, today announced that Warwick Marx has been appointed Chief Information Officer of Stellar Asia Pacific.
Dell pushes for better Linux drivers
Dell wants to see better software drivers for Linux so that the firm can ship more notebooks and desktops running the operating system, according to one of its software engineers.
Eds Sales Take A Tumble
Dave Friedlos, Computing , Thursday 17 May 2007 at 00:00:00 But experts say downturn may reflect market weakness, writes Dave Friedlos Outsourcing giant EDS has released disappointing first-quarter figures showing slower growth and fewer con
Search the Pro-Talk network of sites
