有谁知道如何去使用synopsys CoreTools吗？

　　这个是用snps他们IP的时候用到的，用过DesignWare的大概多少都知道一些
　　synopsys自己的文档说的比较明白，常常自己带着问题找了一圈，最后还是在文档里抠出信息来
　　1. 工具链
　　coretools包括coreassembler，builder，运行就用coreConsultant
　　SCL-----这个是snps进行license和版本管理的工具，本身他们不需要license
　　2. 按步骤说流水账
　　市场部跟snps谈好交钱，snps会给个ftp地址和一个site ID，这个ID很重要，标志着snps对你公司的识别、mAIntenance级别、服务范围等等
　　ID是有时效的，比如半年、一年半
　　通过ftp下载一个*.run文件到本地，这是一个加密自解压包，按照它的提示、期间要使用ID，包就会把安装文件复制到你指定的目录，这就是DW HOME
　　注意在项目备份的时候，要备份DW HOME，coretools和SCL，而不要备份run包，那个包过了ID时限后你再想解就得嗯嗯了
　　coretools和SCL是什么版本比较重要，用所购买IP文档的 install guide中建议的版本当然没问题了，实际上一些早一点的版本也行啦，出事自己负责，但实际上不管会出什么事，正常情况下验证的时候都能发现。这两个工具的版本太新，会导致旧的IP license无法启动。
　　如果coretools和SCL的版本比较新，它就会体（无）系（死）化（角）的要求你所有的综合、仿真等等工具链都比较新，否则就不给你工作
　　那么你可以尝试按照年份，稍稍倒退c和s的版本，以便将就你手中的EDA工具。当你还在项目评估的时候，这个必要大家都懂得。
　　然后
　　install guide中会讲怎么设置ENV，必须按照文档来，大致就是HOME，path，lic，VERA几个方面
　　license比较简明的做法是会有*.dat文件，在这个dat文件中要注意填写好自己的SCL路径，用SCL下的lmgrd
　　VERA如果用太新的，仔细你的gcc版本太旧；gcc版本太新的，小心vera编译找不到库，一般今年的用去年、前年的最保险
　　workspace就是你生成IP代码、仿真和log的地方，是你自己的；和HOME不要混淆，HOME是大家参考的地方，什么driver、vip都往HOME下安装。而testbench，vro就在你自己的workspace里面找。
　　RTL 配置看datasheet，verification看user guide，它一般会分module level和top level验证分开不同tb，但是目录常常都是放在一起的。在文档里snps会用自己的描述来解释tb，意会、动脑筋分辨一下便知。top level的tb肯定是可移植的，拆装是个经验活儿。
　　formal如果比较时间不收敛、甚至根本过不去的，一般总是几个小dw模块作祟，什么乘法器、大小比较器、ecc之类的，分开做：小东西做黑盒子，比上层；再把小东西设为top，单独比。