Stats

  • Locked Locked
  • Replies 5
  • Subscribers 65
  • Views 14772
  • 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

SAT engine

davexpc

Hi there!

I am exploring the possibility to include formal verification in our design flow.  I've been told by one of our engineers that the SAT instances for our designs would take ages to process. We can't afford to buy some kind of supercomputer for this but would be willing ot explore the possibility to outsource the processing to Cadence or other EDA vendor instead of solving the instances locally. Do you know of any vendor who on top of the SW offer some sort of SAT engine service?

Thanks

 

 

Parents

  • I should have mentioned this in my previous post.  If you are interested in some service contact your local Cadence AE.  But I think you will be pleasantly surprised to see how easy it is to run yourself.  I run my analysis on existing machines that run simulations and I get very good response times.

Reply

  • I should have mentioned this in my previous post.  If you are interested in some service contact your local Cadence AE.  But I think you will be pleasantly surprised to see how easy it is to run yourself.  I run my analysis on existing machines that run simulations and I get very good response times.

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.