Veriest kick-starts Formal Verification methodology at Valens
Work enables leading automotive connectivity company to improve design quality and productivity
Petach Tikva, Israel, September 18th, 2019—Veriest Solutions, a leading international Electronics Design Services house, announced today the successful completion of a project to introduce Formal Verification at Valens, the leading provider of HDBaseT connectivity solutions for the audio/video and automotive markets.
During this project, Veriest engineers defined and implemented a methodology to add Formal Verification to Valens’ verification flow, for better quality of design and productivity. In addition to creating a Formal VIP for Valens' core HDBaseT packet interface protocol, Formal Verification is now part of the verification collateral for their Custom RISC uController, as well as their multi-port Queue Manager, and other essential blocks.
Moshe Zalcberg, CEO of Veriest, said: “Our clients are increasingly leveraging the power of Formal Verification that, combined with other Verification methods, enables design teams to achieve a higher level of coverage with a fraction of the effort and resources. Our consultants have the experience to quickly introduce the Formal methods to existing design flows and help our customers ramp-up their expertise”.
Itamar Nitzan, Verification Manager at Valens added: “We were extremely satisfied with the services we received from Veriest, whose expertise was critical in our efforts to introduce Formal Verification. We were able to quickly add this tool to our current methodology and achieve great results – with minimum disruption to our daily activities.”
Veriest Formal Verification technical lead Elchanan Rappaport will be presenting a paper about "Formal Verification of a Custom uController – A Case Study", based on his experience at Valens, during the upcoming Cadence CDNLive Israel conference on September 18, 2019, at the David Intercontinental Hotel – Tel Aviv, Israel.
For additional details, see: https://www.cadence.com/content/cadence-www/global/en_US/home/cdnlive/israel-2019.html
About Veriest Solutions Ltd.
Veriest is an international design house providing a range of professional engineering services. Veriest’s client portfolio includes the full spectrum of globally-established industry leaders, defense companies, and early-stage startups developing high-end chip technology.
Headquartered in Israel, Veriest was founded in 2007 and as of 2013 is a subsidiary of Aman Group – a leading IT company in Israel. Veriest’s engineering teams in Israel, Serbia and Hungary include expert engineers in ASIC design, design verification, FPGA design, virtualization, embedded software and other technical domains.
For more information, please see the company's website at www.Veriests.com or info@VeriestS.com
|
Related News
- Veriest Solutions and CEVA develop functional safety verification methodology for automotive devices
- Blue Pearl Adds Design Verification and Methodology Services to its Product Portfolio
- Veriest Solutions to Present Two Verification Papers at DVCon US Conference
- Axiomise Accelerates Formal Verification Adoption Across the Industry
- Meet Axiomise's Ashish Darbari at DAC to Learn about Benefits of Formal Verification
Breaking News
- Omni Design Technologies Joins Intel Foundry Accelerator IP Alliance
- Efabless Announces the Release of the OpenLane 2 Development Platform, Transforming Custom Silicon Design Flows
- TSMC Reports First Quarter EPS of NT$8.70
- Brisbane Silicon publishes DPTx 1.4 IP Core
- GUC provides 3DIC ASIC total service package to AI/HPC/Networking customers
Most Popular
- U.S. Subsidy for TSMC Has AI Chips, Tech Leadership in Sight
- Cadence Unveils Palladium Z3 and Protium X3 Systems to Usher in a New Era of Accelerated Verification, Software Development and Digital Twins
- Zhuhai Chuangfeixin: OTP IP Based on 90nm CMOS Image Sensor Process Technology Successfully Mass Production
- Silvaco Announces Expanded Partnership with Micron Technology
- OPENEDGES Unveils ENLIGHT Pro: A High-Performance NPU IP Quadrupling its Previous Generation's Performance
E-mail This Article | Printer-Friendly Page |