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
- Axiomise launches Essential Introduction to Practical Formal Verification Training
- Axiomise Showcases Value of Formal Verification at DVCon Japan and DVCon India
- Siemens brings formal methods to high-level verification with C++ coverage closure and property checking
Breaking News
- Frontgrade Gaisler Unveils GR716B, a New Standard in Space-Grade Microcontrollers
- Blueshift Memory launches BlueFive processor, accelerating computation by up to 50 times and saving up to 65% energy
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Cadence Unveils Arm-Based System Chiplet
Most Popular
- Cadence Unveils Arm-Based System Chiplet
- CXL Fabless Startup Panmnesia Secures Over $60M in Series A Funding, Aiming to Lead the CXL Switch Silicon Chip and CXL IP
- Esperanto Technologies and NEC Cooperate on Initiative to Advance Next Generation RISC-V Chips and Software Solutions for HPC
- Eliyan Ports Industry's Highest Performing PHY to Samsung Foundry SF4X Process Node, Achieving up to 40 Gbps Bandwidth at Unprecedented Power Levels with UCIe-Compliant Chiplet Interconnect Technology
- Arteris Selected by GigaDevice for Development in Next-Generation Automotive SoC With Enhanced FuSa Standards
E-mail This Article | Printer-Friendly Page |