Stats

  • Locked Locked
  • Replies 1
  • Subscribers 65
  • Views 13289
  • 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

Verification of connectivity at top-level

batari123

How do you verify the connectivity at the top-level? How to make sure a user has not messed up a[m:n] with a[n:m]? Do you generally use simulation and toggle coverage to verify this or formal?

  • Formal is the most productive technology to validate connectivity as exhaustive coverage is inherent to the technology.  This along with means of automating the verification of the connections make formal extremely productive. Assuming you have access to Cadence online support, you can find a rapid adoption kit (RAK) called: JasperGold Apps: Connectivity Verification Tutorial which can help get you started. 

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.