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: