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

need help in formal verification with IEV tool

$
0
0

Hi Iam using IFV 12.20.007.Iam trying to pass constraint for a design,What is the procedure to give give constraint such if statement.

 

Ex:  i have condition to be satisfied iam using if statement for that if(my condition are true) then constraint should be given 

 

Thanks

Bharath 


Viewing all articles
Browse latest Browse all 1069

Trending Articles



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