English
Verplex Formal Verification Software Chosen by Tensilica
MILPITAS, Calif.--(BUSINESS WIRE)--March 13, 2002--Tensilica® Inc., the leading supplier of extensible, configurable processor intellectual property (IP), has selected Verplex(TM) Systems, Inc. for formal verification software. The company uses the Verplex Conformal(TM) Logic Equivalence Checker (LEC), and suggests the Verplex design flow to its customers. In addition, Tensilica provides Conformal LEC files to customers along with its semiconductor intellectual property.
"Tensilica customers demand high-performance verification tools," says Kaushik Sheth, chief engineer at Tensilica. "Our experience to date with Verplex' Conformal LEC makes it easy for us to suggest it to our customers as well."
"Tensilica is an important partner and a customer with rigorous requirements," adds Tom Senna, vice president of Marketing and Business Development. "We're pleased that Tensilica has successfully verified its products using Conformal LEC and is willing to recommend it to its customers."
For more information about Verplex' support for Tensilica, contact Bassilios Petrakis, Verplex technical business manager, at (408) 586-0362 or via email at petrak@verplex.com. More details about Verplex can be found at its Web Site: http://www.verplex.com.
About Verplex
Verplex Systems Inc. is an electronic design automation (EDA) company focused on delivering the highest speed, highest capacity and easiest to use formal verification products for complex system-on-chip (SOC) design. Founded in 1997, it is privately held and funded by leading venture capital firms. Corporate headquarters is located at 300 Montague Expressway, Suite 100, Milpitas, Calif. 95035. Telephone: (408) 586-0300. Facsimile: (408) 586-0230. Email: info@verplex.com. Online information is found at its web site: http://www.verplex.com.
Verplex, Conformal and BlackTie are trademarks of Verplex Systems Inc. All other companies and products referenced herein are trademarks or registered trademarks of their respective holders.
Contact:
For Verplex Systems:
Nanette Collins
(617) 437-1822
nanette@nvc.com
Related News
- Siemens brings formal methods to high-level verification with C++ coverage closure and property checking
- OneSpin Solutions' Formal Verification Software Enables Maxim Integrated to Identify SoC Design Issues Early in the Project Cycle
- Verplex First With Formal Verification of Complex Datapath
- LogicVision certifies Verplex's formal verification for its embedded test flow
- Xilinx, Verplex Collaborate to Provide Formal Verification At Various Stages of FPGA Design Flow
Breaking News
- Breker RISC-V SystemVIP Deployed across 15 Commercial RISC-V Projects for Advanced Core and SoC Verification
- Veriest Solutions Strengthens North American Presence at DVCon US 2025
- Intel in advanced talks to sell Altera to Silverlake
- Logic Fruit Technologies to Showcase Innovations at Embedded World Europe 2025
- S2C Teams Up with Arm, Xylon, and ZC Technology to Drive Software-Defined Vehicle Evolution
Most Popular
- Intel in advanced talks to sell Altera to Silverlake
- Arteris Revolutionizes Semiconductor Design with FlexGen - Smart Network-on-Chip IP Delivering Unprecedented Productivity Improvements and Quality of Results
- RaiderChip NPU for LLM at the Edge supports DeepSeek-R1 reasoning models
- YorChip announces Low latency 100G ULTRA Ethernet ready MAC/PCS IP for Edge AI
- AccelerComm® announces 5G NR NTN Physical Layer Solution that delivers over 6Gbps, 128 beams and 4,096 user connections per chipset
|
E-mail This Article | 
|
|
Printer-Friendly Page |