• 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. Community Forums
  2. Functional Verification
  3. CDNLive Silicon Valley 2006

Stats

  • Locked Locked
  • Replies 0
  • Subscribers 64
  • Views 12615
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

CDNLive Silicon Valley 2006

archive
archive over 19 years ago

Last year I attended CDNLive and really got a lot out of it.  The papers presented in the functional verification track gave great perspectives on how customers were using Cadence tools to help verify their designs.  Although the designs were much different than what my company designs, I was able to learn from the presenters and apply some things they presented to what we are designing.

In addition to the paper presentations, the speakers were also excellent.  They shared their perspectives on problems facing designs today, how some of these problems will be solved, and where the semiconductor industry was headed in the future.

Not only was the content interesting, but the conference itself was well run.  The amount of time given to the presenters seemed to be the right length, the number of breaks was appropriate, and there were always plenty of refreshments available.

I am going again this year and would definitely recommend it to others.  Take a look at the conference website if you haven’t already.

http://www.cadence.com/cdnlive/na/index.aspx

Also, one particular presentation that may be of interest to this forum is on Wednesday titled “Formal Analysis of Padring Mux-Logic Using IFV (Incisive Formal Verifier).”
http://www.cadence.com/cdnlive/na/schedule2006_wed.aspx

The abstract talks about automatically extracting assertions from a specification for use with Formal Analysis to exhaustively verify and achieve 100% coverage while reducing effort 4-10x.  These are very lofty goals and it will be interesting to hear how they did it.
 


Originally posted in cdnusers.org by weberrm
  • Cancel

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.

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

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