Tata Consultancy Services Limited (TCS) is the world leading information technology consulting, services, business process outsourcing and engineering services organization that envisioned and pioneered the adoption of the flexible global business practices that today enable companies to operate more efficiently and produce more value.

Synfora PICO technology enables algorithm-to-tapeout synthesis based on a unique combination of configurable IP and exploration and configuration tools. PICO technology uses advanced compiler technology to exploit parallelism at every level to explore the design space of an algorithmic description. PICO creates RTL based on a consistent architectural schema and uses pre-verified functional units and interfaces.

CoWare Inc., the leading supplier of electronic system-level (ESL) design software and services, has aligned the strategic technologies it has developed and acquired into four key solutions for collaborative platform-driven ESL design: SoC platform capture and architecture exploration, custom processor design, virtual hardware platform creation, use and distribution and algorithm design.

EVE has pioneered an entirely new approach to hardware-assisted verification that combines the best aspects of traditional emulation and rapid prototyping systems into a single, unified environment for both ASIC/SoC debugging and embedded software validation.

The ARM Connected Community is a global network of companies aligned to provide a complete solution, from design to manufacture, for products based on the ARM architecture. The membership of the Community comprises companies spanning the entire semiconductor design chain including providers of silicon, design support, software, training and systems, and covers a wide range of market applications.

Esterel Technologies is a member of Synopsys’ In-Sync Program and VMM Catalyst Program. Synopsys in-Sync Program's mission is to establish relationships with EDA vendors to identify, facilitate and help develop optimal joint flows and solutions that result in improved tool interoperability and maximized productivity for our mutual customers.

Prover® Technology is a profitable and privately owned software company that provides patented and leading proof engine based products and solutions. Prover Technology's Prover Plug-In, a family of proof engine software components for formal verification and validation is integrated into Esterel Studio.