invites you to the very best

Online Verification Meetup

July 1st 2020

Israel 5pm | CET 4pm | GMT 3pm
US ET 10am | Central 9am | PT 7am

About this event

At Veriest, we believe in knowledge sharing. At our first On-line meetup in early April, 150 professionals from 15 different countries gathered to listen to experts from Intel in Israel and ST Microelectronics in Italy.

We’re now inviting you to join our next event, with a thought-provoking keynote about HW security and an award-winning technical presentation about verification of image processing.

Looking forward to hosting you!

On-line Event

Link to meetup will be sent upon registration

Speakers and Agenda

Welcome

Moshe Zalcberg

CEO, Veriest

Keynote

Peter L. Levin, Ph.D.

Some new ideas in hardware security

Consumer devices and mission-critical security systems are increasingly dependent on commercial-off-the-shelf (COTS) components. These packages typically have "excess" functionality that create vulnerabilities that can be exploited by bad actors and adversaries. Commercial hardware devices are largely manufactured or assembled in countries that lack strong trust commitments (or relationships) with buyers, including defense-related industries. Even if a sub-system is directly purchased from an allied manufacturer, the components are often manufactured and assembled in untrusted foundries. As such, the devices may contain hidden hardware or be manufactured using counterfeit components that already contain Trojan content. Without some form of security and trust verification, it is almost impossible to know if a COTS device is authentic or safe to use. In this talk, we will discuss such security challenges and some novel approaches to address them.   

Technical presentation

Gabriel Jönsson

A SystemVerilog Framework for Efficient Randomization of Images
*3rd Best-Paper award at DVCon US

Verifying image processing blocks using constrained random verification involves constraining image data to exercise all relevant corner cases. For some types of algorithms, constraining individual pixels is enough. Other algorithms, which operate on blocks, may require complex dependencies among groups of pixels. Expressing such dependencies as constraints on individual pixels is cumbersome and usually places a significant burden on the constraint solver. To address this problem, we have developed a UVM-based SystemVerilog framework that supports efficient randomization of images with complex inter-pixel dependencies. This framework has successfully been applied to close coverage for several of our image processing blocks. This paper was awarded a Best-Paper award at DVcon US 2020.

Closure

Q&A

Total event duration 1:15 hr

Save your place!

all rights reserved ©2020

Thanks for applying!

Your application is being processed. 

Once your application is approved, our recruitment team will contact you to continue the process