Veriest kick-starts Formal Verification methodology at Valens

搜索最新SoC解决方案
关于汽车电子...物联网...安全...音频...视频

Petach Tikva, Israel, Sept. 18, 2019 – 

Work enables leading automotive connectivity company to improve design quality and productivity

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

 Back