Stats

  • Locked Locked
  • Replies 0
  • Subscribers 12
  • Views 4475
  • 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

Jasper Gold - System Verilog Assertion Prove time estimation

Shahidhussain

Hi all!

I am beginner to System Verilog Assertions based formal verification on Jasper Gold. I am very happy have such a fantastic tool for verification with amazing features. I have written some assertion for a design module. I am noticing that Jasper Gold takes plenty of time (in days) to prove some particular assertions. The bound increase speed is too slow.  I just have a couple of queries regarding assertion prove time. 

1- What are key factors on which assertions prove time depends?

2- Is there any method/tool/command to estimate the prove time before running the assertion? So that we can set the "set_prove_time_limit" in Jasper Gold.

3- Do selection of proof engine has any thing to do with prove time? and how to estimate which engines are best for a particular assertion?

4- I am also noticing that when I run assertions individually then it gets less time but when I run multiple assertions (parallel or sequentially) at a time then its take too long.  

Any help from Cadence community with be a great favor. 

Thanks

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.