SpyGalss是目前業界唯一可靠的RTL Sign off解決方案，可以幫助客戶在設計早期發現潛在問題，保證產品質量，極大的減少設計風險，降低設計成本。

包含五大模塊：lint, CDC(跨時鐘域檢查), LP（低功耗)，Constraint(約束)，DFT(可測試性)。

下面我們進行SpyGalss的安裝：

下載安裝包，將SpyGlass_vL_Installation_L2016.06.tar.gz中的兩個文件解壓出來，得到如下：

在當前目錄運行./SpyGlass-Install.sh

Do you want to proceed to install all packages in one go (if you select 'y' then installer will do a quick install for you, if you select 'n' then it will do a custom installation for you and will prompt you selectively for each package)? {y,n} [y] : y

選擇安裝目錄：/opt/Synopsys/spyglass2016

Please write the directory where you want to install this release. If this directory does not exist, it will be created [Current working directory] :/opt/Synopsys/spyglass2016

設置環境變量：

aliaslmgrd_synopsys="$SCL_HOME/linux64/bin/lmgrd-c$SNPSLMD_LICENSE_FILE"
######################################Synopsys#####################################
#SetSynopsysDirectory
exportSynopsys_Dir=/opt/Synopsys
#SCL
exportSCL_HOME=$Synopsys_Dir/SCL11.11
#lmgrd
exportPATH=$SCL_HOME/linux64/bin:$PATH
#SNPSLMD_LICENSE_FILE
exportSNPSLMD_LICENSE_FILE=$Synopsys_Dir/License/License.dat

#SpyGlass
exportSPYGLASS_HOME=/opt/Synopsys/spyglass2016/SpyGlass-L2016.06/SPYGLASS_HOME
exportPATH=$SPYGLASS_HOME/bin:$PATH

保存之后，注意需要：source ~/.bashrc

破解：將 破 解 文 件 夾 中 的 check.Linux4復 制 到 spyglass 安 裝 目 錄 中 的SPYGLASS_HOME/obj中 并 替 換 原 文 件。

可以執行lmstat檢查license是否可用：

啟動程序：
每次重啟系統后，執行lmgrd_synopsys，如下即可運行synopsys軟件：

輸入spyglass，啟動：

編輯：黃飛