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
- Europe Leaps Ahead in Global AI Arms Race, Joining $20 Million Investment in NeuReality to Advance Affordable, Carbon-Neutral AI Data Centers
- Synopsys Showcases EDA Performance and Next-Gen Capabilities with NVIDIA Accelerated Computing, Generative AI and Omniverse
- Spectral Releases Advanced Quality Assurance & Data Analytics tool to validate advanced node Memory Compilers
- TSMC and Synopsys Bring Breakthrough NVIDIA Computational Lithography Platform to Production
- After TSMC fab in Japan, advanced packaging facility is next
Most Popular
- After TSMC fab in Japan, advanced packaging facility is next
- HBM3 Initially Exclusively Supplied by SK Hynix, Samsung Rallies Fast After AMD Validation, Says TrendForce
- Alphawave Semi Demonstrates 3nm Silicon-Proven 24Gbps Universal Chiplet Express (UCIe) Subsystem for High-Performance AI Infrastructure
- Weebit Nano to demo its ReRAM technology on GlobalFoundries' 22FDX® platform
- We'll Need Many More Fabs to Meet $1 Trillion by 2030 Goal
E-mail This Article | Printer-Friendly Page |