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

run IFV Xcheck property

$
0
0

Hi

 

Iam doing XCheck property checking.Now instead of running all the properties,I want to run only one XCheck property in IFV .

 

How to prove single XCheck assertion. 

 

 

 

 


Viewing all articles
Browse latest Browse all 1078

Trending Articles



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