Xilinx acquires formal verification technology
Technology will improve Virtex' design productivity and overall time to market
SAN JOSE, Calif., September 21, 2000-Xilinx Inc., (NASDAQ: XLNX) announced today the acquisition of a formal verification technology formerly owned by Veriphia, a French EDA company. Xilinx has also hired key engineers responsible for the development of the technology. Further extending its software leadership, this expertise will strategically complement the 10-million gate Virtex-II architecture. Terms of the acquisition were not disclosed. The purchase is not expected to have a material effect on Xilinx financial results.
Xilinx acquired Tornado, the Veriphia formal verification tool suite. Tornado is a full-function formal verification application deploying state-of-the-art circuit equivalence checking techniques based on many years of research and development efforts by Veriphia.
Xilinx plans to focus the development of this technology on the Virtex FPGA architectures, in partnership with key EDA partners. New innovations for increased productivity employing formal verification technology within high-level design flows will provide numerous opportunities to increase customer's design productivity. Xilinx is currently the only programmable logic provider with the ability to develop synthesis, FPGA architecture advancements, and formal verification technology simultaneously, delivering the best overall design solutions. This acquisition also allows Xilinx to optimize the technology for FPGAs, internal synthesis, and IP verification applications.
?The integration of formal verification technology into programmable logic design flows could represent the next wave of increased designer productivity,? said Dan Gibbons, director of design and synthesis tools at Xilinx. ?Access to this technology will allow Xilinx to leverage it internally to deliver better end products and provide us with the ability to develop an integrated approach to formal verification within high level design flows with leading suppliers of EDA solutions.?
About Xilinx
Xilinx is the leading innovator of complete programmable logic solutions, including advanced integrated circuits, software design tools, predefined system functions delivered as cores, and
unparalleled field engineering support. Founded in 1984 and headquartered in San Jose, Calif.,
Xilinx invented the field programmable gate array (FPGA) and fulfills more than half of the world
demand for these devices today. Xilinx solutions enable customers to reduce significantly the time
required to develop products for the computer, peripheral, telecommunications, networking,
industrial control, instrumentation, high-reliability/military, and consumer markets. For more
information, visit the Xilinx website at www.xilinx.com.
Except for historical information contained herein, the matters set forth in the press release, such as statements relating to the completion of the purchase transaction, or future sales, technology or market leadership, are forward looking statements that are subject to risks and uncertainties that may cause actual results to differ materially, including the ability of the parties to successfully negotiate and consummate the definitive agreements in connection with the proposed acquisition, the ability of Xilinx to hire the personnel required to operate the acquired business, general economic and market conditions, foundry capacity, and the timing and the likelihood of regulatory approvals related to the proposed acquisition, and other risks detailed from time to time in Xilinx SEC reports.
Editorial Contact: |
Tamara Snowden |
Xilinx, Inc. |
408 879-6146 |
tamara.snowden@xilinx.com |
Related News
- Mentor Graphics Teams with Thales and Xilinx to Develop FPGA Formal Verification Solution
- Xilinx, Verplex Collaborate to Provide Formal Verification At Various Stages of FPGA Design Flow
- Groundbreaking Formal Verification Further Enhances the Quality of CHERIoT-Ibex
- Axiomise launches Essential Introduction to Practical Formal Verification Training
- Axiomise Showcases Value of Formal Verification at DVCon Japan and DVCon India
Breaking News
- intoPIX Powers Ikegami's New IPX-100 with JPEG XS for Seamless & Low-Latency IP Production
- Tower Semiconductor and Alcyon Photonics Announce Collaboration to Accelerate Integrated Photonics Innovation
- Qualcomm initiates global anti-trust complaint about Arm
- EnSilica Agrees $18m 7 Year Design and Supply ASIC Contract
- SiliconIntervention Announces Availability of Silicon Based Fractal-D Audio Amplifier Evaluation Board
Most Popular
- Qualcomm initiates global anti-trust complaint about Arm
- Siemens acquires Altair to create most complete AI-powered portfolio of industrial software
- Alphawave Semi Reveals Suite of Optoelectronics Silicon Products addressing Hyperscaler Datacenter and AI Interconnect Market
- EnSilica Agrees $18m 7 Year Design and Supply ASIC Contract
- Rapidus Announces Strategic Partnership with Quest Global to Enable Advanced 2nm Solutions for the AI Chip Era
![]() |
E-mail This Article | ![]() |
![]() |
Printer-Friendly Page |