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

Engineering Fix

$
0
0

Hi I have been given an Engineering fix for a problem in formal tool. The IT suppor has installed it but I am not sure how to use it.

Usually the tool is used by seting SOCV_KIT_HOME and sourcing env.csh

But I am not finding any such file at the folder kits/VerificationKit

 I will be thankful if someone can give early solution to this.

Regards,

Avni

 

Sorry to post this issue here. I am not sure on which foum this should be posted. 


Viewing all articles
Browse latest Browse all 1075

Trending Articles



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