OVERVIEW  CHINA TRADE MISSION  |   CONSULTING CLIENTS   
 
 




Related news
July 2003


INNOLOGIC SYSTEMS

InnoLogic Systems, Inc. was the leading EDA provider of formal verification solutions for full custom silicon implementations. The company's patented symbolic simulation technology, currently in production use by leading full custom designers, combines the power of formal verification methods with event-driven simulation technology. The company was acquired by Synopsys, the world leader in integrated circuit (IC) design software, in July 2003.
 
Click here to view the details of the acquisition.