Spyglass遇到问题 failed running goal lint/lint_abstract aggregate.sglib' has a format which is not recognized by SpyGlass

Spyglass可以进行lint，cdc等的检查。

Rule: 是SpyGlass 分析的最小单位.
Goal: 是一系列相关Rule的集合,组合起来完成RTL分析的某个特定任务。可以在prj file里面定义。

需要读入：HDL files,HDL library files,Technology library files, SGDC files 。

---

spyglass.log报错：

ERROR[178]sglib File './codec_report/spyglass/spyglass_cache/autogenerated_sglib/aggregate.sglib' has a format which is not recognized by SpyGlass. Use spyglass library compiler to generate sglib file .

原因：存储空间不足。（可能的原因）

---

lint检查报错：Design Unit 'MXGL2_X2B_A7PP' has no definition; black-box behavior assumed and module interface inferred

原因：没有找到模块 MXGL2_X2B_A7PP,可能是漏了.v等源文件。 也可能是直接调用的库中的cell，需要添加库。 可以查看spyglass.prj中读取的库文件。

---

 修改库以后再跑还是报错ERROR[316] Auto-compilation of gate  libraries  failed. 详细：  Parse error on or before token `)'

原因：可能是库的后缀名为.lib_ccs_tnv.gz，用.lib.gz的库就可以了。

 

今天又报错了

ERROR [316]    Auto-compilation of gates libraries failed. Please refer to './CODEC_DIG_S01_report/spyglass/spyglass_cache/autogenerated_sglib/lc/spyglass_lc_aggregate_reports/moresimple.rpt' for details

原因：spyglass 不能用后缀名为.lib_ccs_tnv.gz

 

---

 

Spyglass用spyglass.prj脚本启动，在更换库之后再次启动，发现报的错误里面还是之前的库。

解决：删除工作目录下的work，就是spyglass.prj脚本启动后会生成的work目录。

 

---