Faster Bug-Free Clock Gating Verification with VC Formal

Web event: Faster Bug-Free Clock Gating Verification with VC Formal
Date: July 11, 2017
Time: 10:00 AM PDT
Duration: Verification

In today’s world, power efficient devices are a necessity and no longer a “nice to have”. Designers are driven to reduce power consumption for their designs using many techniques, including effective insertion of clock gating logic. With the introduction of clock gating cells and corresponding logic, it is required to compare the RTL models before and after power optimization. Traditionally, rerunning the entire simulation tests were necessary, but this approach is time consuming and non-exhaustive. Formal Logic Equivalence Checking (LEC), initially appears to be a good fit but these solutions cannot verify sequential modifications.

In this webinar, we discuss clock gating optimization, its verification challenges and how to achieve faster bug-free clock gating verification with Synopsys’ VC Formal™ Sequential Equivalence Checks (SEQ) application. We will demonstrate VC Formal’s unique capabilities to identify clock gating bugs and how to quickly resolve using Synopsys’ Verdi debug solution. We will also highlight advanced features that address the closure of bounded coverage analysis.


Kiran Vittal
Product Marketing Director, Verification Group

Kiran Vittal is a product marketing director at Synopsys, with 25 years of experience in EDA and semiconductor design. Prior to joining Synopsys, Kiran held product marketing, field applications and engineering positions at Atrenta, ViewLogic, and Mentor Graphics. He holds a MBA from Santa Clara University and a Bachelors in Electronics Engineering from India.

Neelabja Dutta
Senior Corporate Applications Engineer, Verification Group

Neelabja Dutta is a senior corporate applications engineer at Synopsys, who currently specializes in VC Formal and formal verification methodology. He has over 5 years of work experience in formal verification applications, property verification and transaction based equivalence. His background also includes assertion based verification and VCS coverage, and has a total of 11 years of work experience in the EDA industry.

 If you have previously registered for this event, please login below:

Registration is required to attend this event. Please register now.
First Name*
Last Name*
Job Title*
Street Address Line 1*
Street Address Line 2
Zip/Country Code*
Work Phone
Company URL
 I authorize Synopsys and its distributors to contact me by email and telephone to provide information about its products and services. I understand that I can change my preference at any time by clicking "Unsubscribe" or by accessing Synopsys' Subscriptions Center, and that my personal data will be handled subject to the Synopsys Privacy Policy.
 You may contact me by email.
You must have Javascript and Cookies enabled to access this webcast. Click here for Help.
Please enable Cookies in your browser before registering for the webcast.
*Denotes required.