Quantcast
Channel: Cadence Functional Verification Forum
Viewing all articles
Browse latest Browse all 1088

JasperGold SAT solver capacity

$
0
0

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!


Viewing all articles
Browse latest Browse all 1088

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>