Stats

  • Locked Locked
  • Replies 2
  • Subscribers 65
  • Views 12118
  • 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

JasperGold SAT solver capacity

Ting199708

I use JasperGold SPV app and the warning message show that 'SAT solver RegionAllocator max capacity'

Is there any command can set the max capacity of SAT solver? Thanks!

Parents

  • Hi,

    while I do not have a setting to control the capacity of the SAT solver (yet) I want to share with you that the latest release includes the early adopter version of the new SPV 2 re-architecture. It is supposed to increase scalability and fix some other issues. If you suffer from convergence, I can share details with you. Please contact me directly (jmueller@cadence.com) for that.

    Regards,
    Joerg

  • in reply to JoergM

    Hello,

    Thanks for provide me some useful information, it's very helpful for my research.

    Best regards,

    Ting

Reply Children
No Data

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.