Synopsys is the leading company by sales in the Electronic Design Automation (EDA) industry. Synopsys' first and best-known product is Design Compiler, a logic-synthesis tool. Synopsys assists ARM processor manufacturers in the design of SoC's. Synopsis has 8 billion dollars in revenue employing around 8,000 people world wide. Synopsys also has solutions for emulating your SoC.