Synopsys公司发布了一款EDA软件。据称该软件为业界首款支持采用Intel扩展内存64技术(Intel EM64T)的Intel Xeon处理器，并通过Red Hat Enterprise Linux v.3 OS，利用其Galaxy设计和Discovery验证技术实现64位和32位计算的EDA软件。 Synopsys公司这种运行于Intel EM64T Xeon处理器架构之上的软件能为工程技术人员提供设计和验证复杂SoC设计所需的高性能和高容量。 随着消费电子产品对计算能力、多媒体、图形和通信功能要求的增加，以及加工工艺逐渐过渡到90nm以下，芯片设计人员需要面对新的压力，例如设计复杂度，以及晶体管的数目达到2亿个以上。此外，对成本的高度敏感性、功耗和芯片尺寸也极大地对设计工艺造成了影响。 Synopsys公司支持基于Intel Xeon处理器计算平台的Galaxy和Discovery技术包括：设计编译器(Design Compiler)和DesignWare库算法发生器，以及用于合成的构件、DFT编译器和TetraMAX测试、物理编译器和Astro物理执行器、Power Compiler电源管理、PrimeTime静态时序分析、形式等价检验、Hercules布线验证和NanoSim混合信号设计软件。 此外，该公司还提供BSD编译器、设计编译器FPGA、设计分析器、HDL编译器、模块编译器和PathMill工具等支持该平台的产品。在2005年3月还将VCS完整的RTL验证产品，并计划其后推出更多产品。