新闻稿

Virtex-II结合形式验证技术
助客户提高设计生产力

2000年9月30日，北京 - 世界领先的可编程逻辑器件供应商赛灵思公司（Xilinx）日前宣布收购原来由法国EDA公司―Veriphia拥有的一项形式验证技术，同时，为保证该技术的延续性，Xilinx还将负责这项技术主要开发工作的工程师招至麾下。这一收购将与赛灵思千万门Virtex-II结构形成战略上的配套，从而进一步巩固Xilinx在软件方面的领导地位。

Xilinx此次收购了Veriphia形式验证工具集Tornado。集Veriphia多年的研究和开发努力，同时采用了最先进的电路级检查及验证技术，Tornado成为功能最全面的形式验证应用之一。

Xilinx计划与主要EDA伙伴合作,集中针对Virtex FPGA结构进行形式验证技术的开发。对客户而言，在高级设计流程中采用形式验证技术的这一创新，为客户设计生产力的提升提供了更多的机会。目前，Xilinx是唯一一家可以同时开发综合工具、FPGA结构改进以及形式验证技术的可编程逻辑供应商，因此可以为客户提供最佳的总体设计解决方案。同时，本次收购使Xilinx可以针对FPGA结构、内部综合以及IP验证应用优化这一形式验证技术。

"在可编程逻辑设计流程中集成形式验证技术代表了提高设计生产力的新方向,"Xilinx 设计和综合工具部主任Dan Gibbons说，“拥有这一技术使Xilinx可以充分发挥自身优势，为客户提供更好的最终产品，同时还使我们可以开发适于领先EDA解决方案供应商高级设计流程中的形式验证集成方法。”

关于Xilinx

Xilinx公司是领先的可编程逻辑解决方案公司,其解决方案包括：高级集成电路、软件设计工具、以核心形式提供的预先设定系统功能以及独一无二的现场工程技术支持。成立于1984年总部位于美国加州圣荷塞的 Xilinx公司致力于创制现场可编程门阵列并提供全球市场需求量一半以上的产品。Xilinx公司提供的解决方案使用户大幅度缩短了计算机、外设产品、通讯、网络、工业控制、仪器仪表、高可靠性/军用及消费市场等各种产品的开发时间。更多信息请访问Xilinx的网站http://www.xilinx.com。

公关联络