RTL级最强验证工具spyglass

包含四部分： LowPower, CDC, ConstrAInt, DFT
以前发过不全，这次发全了。 注意必须要用haozip来解压缩
工具还是不错的，希望大家用正版软件

按照下面的安装说明安装后，出现了以下问题中的问题，请教一下什么原因?是我哪个步骤操作错了?谢谢。
按照下面安装日志安装后，执行SPYGLASS_HOME/bin/spyglass,就出现了问题。

安装说明：
oftware Version：SpyGlass-4.2.0
1. $ mkdir /eda/atrenta
2. untar all .tar.gz files except LINUX64 cause it's not cracked.
NOTE: You should first unpack the SpyGlass-<rev>.tar.gz archive and then the SpyBuilder-<rev>.tar.gz archive in the same directory when you are installing both
3. modify the file : Spyglass-4.2.0/SPYGLASS_HOME/auxi/tkgui-new/spygui.pl
line 794 : $license_check_disabled =0 to 1;
line 1776 : $can_license_check_be_disabled =0 to 1;

4. $ cd SpyGlass-4.2.0/SPYGLASS_HOME/obj
$ sfk replace -bin /5589e557565383ec4c8b159cdf520985d20f84440300008b3d340c5209/31c0c357565383ec4c8b159cdf520985d20f84440300008b3d340c5209/ -dir . -yes
(you can find a compitable version of sfk on sourceforge.net)
(check.Linux2 will be patched).

5. config the environment viarible file atrenta.conf:
#export ATRENTA_LICENSE_FILE=<license_file_path>
export PATH=/eda/atrenta/SpyGlass-4.2.0/SPYGLASS_HOME/binPATH”
alias spyglass='spyglass -32bit'
if you don't specify the parameter -32bit when on the 64 bit OS, error will occur :
$ spyglass -verilog test.v
***ERROR: Missing shared library '/mnt/eda/atrenta/SpyGlass-4.2.0/SPYGLASS_HOME/lib/libsgptmalloc-Linux4.so'
6. add command "source /eda/atrenta/atrenta.conf" to your .bashrc file.
7. done！ enjoy it！

没传全呢