VC Formal SIG - India

Be sure to come early for some coffee/tea before the keynote begins.

In the concurrent SoC design era, Time to Market (TTM) is crucial. Rapidly bringing intelligent products to various markets simultaneously can lead to increased market share and revenue. Shorter TTM helps in responding to customer demands and technological advancements more effectively. Qualcomm is driving transformation across industries such as communication, compute, automotive, networking, and smart home. During the concurrent development of several SoCs at the lowest possible nodes, it is absolutely important to emphasize correct-by-construction approaches. Left-shifting needs to be part of the DNA of the SoC design workflow. Formal Verification (FV) is a systematic process that uses mathematical reasoning to verify that the design intent is preserved during its implementation in a simplified design environment. In this talk, I will present few techniques using Formal technologies in achieving best-in-class design KPIs through early correct-by-construction methods in the SoC design workflow.

Abstract: With wide proliferation of Formal Verification apps, “formal everywhere” is the new reality in Electronic Design Verification. As we fashion these apps for enabling semiconductor industries to solve extremely critical problems, we shield the users from the staggering computational complexities of their problems through well-conceived methodologies and engineering innovations. This presentation sketches the beauty of engineering innovations to overcome fundamental complexities in formal verification challenges – we delve into multiple domains – security, low-power, functional safety, coverage, and many more. Borrowing experiences from the past, we look into the future towards new vistas of formal verification with the optimism that for every challenge of beastly proportions, there lies a beautiful engineering solution.

Enjoy networking lunch with industry peers. Visit the booth to meet Synopsys experts.

We will end the sessions with a lucky draw prizes where everyone will have a chance to win one of our great giveaways. Must be present to win.