• Skip to main content
  • Skip to search
  • Skip to footer
Cadence Home
  • This search text may be transcribed, used, stored, or accessed by our third-party service providers per our Cookie Policy and Privacy Policy.

  1. Blogs
  2. Verification
  3. Save The Date: Free Webinar on Automated SoC Connectivity…
TeamVerify
TeamVerify

Community Member

Blog Activity
Options
  • Subscribe by email
  • More
  • Cancel
ABV
methodology
Functional Verification
formal
SoC Connectivity
IEV
Formal verification
IFV

Save The Date: Free Webinar on Automated SoC Connectivity Verification This Thursday March 24

18 Mar 2011 • 1 minute read

We interrupt our technically oriented blogging to shamelessly promote a free webinar we are giving on SoC Connectivity checking this Thursday March 24 at 10am-11am Pacific time.  At first glance, this topic doesn't seem like such a big deal - after all, checking IP-to-IP and point-to-multi-point connections is usually done by a well-organized Co-Op student, or obviated by using some sort of "correct by construction" methodology, right?

Up until recently and/or for DUTs with only thousands of connection nodes, this is true.  However, it seems like every other day we have been getting calls direct from customers, or anecdotes forwarded from AEs, telling us how traditional ad-hoc and even scripted verification and construction process are failing.  In addition to the N^2 increase of nodes/interconnect as you add in more IP, what's really breaking traditional processes is the need to also verify connections to things like "out of band" BIST logic, low power controllers and data retention structures, etc.  Hence, in our Thursday webinar entitled "How To Completely Eliminate SoC Connectivity Bugs (Really!)", you will learn:

* An overview of our exhaustive process for connectivity checking

* How we leverage a standard spreadsheet entry and schematic based debug approach to make this flow easy for anyone to use. (Translation: the user does NOT have to know anything about Formal or ABV)

* How common supporting tasks like "black boxing" and assertion generation have been fully automated. (Again, we've automated this so users do NOT have to know anything about Formal or ABV; you can keep your Formal experts focused on ABV stuff while anyone can crank out this process.

* Case studies of this flow applied to real customer projects

Again, registration is free (but a Cadence Community login/registration is required):
https://www.secure-register.net/cadence_register.php?event=11888

Hope you can attend this informative event!

Joe Hupcey III
for Team Verify

On Twitter: http://twitter.com/teamverify, @teamverify

P.S. This webinar is part of an ongoing series that covers topics like Low Power verification, the Specman Advanced Option, metric-driven verification, migrating from VMM to UVM, and more.  The complete list of webinars and their respective agendas are listed here:

http://www.cadence.com/cadence/events/pages/default.aspx

and select "Webinar" in the "Event Type" menu.

© 2025 Cadence Design Systems, Inc. All Rights Reserved.

  • Terms of Use
  • Privacy
  • Cookie Policy
  • US Trademarks
  • Do Not Sell or Share My Personal Information