2024.7.31 Spyglass lint tcl 使用总结

spyglass lint使用：https://blog.csdn.net/qq_30843953/article/details/109629618
spyglass lint使用：https://blog.csdn.net/kammy0112/article/details/126243800

本文主要介绍项目中使用spyglass lint的tcl示例

1、新建项目，设置option，设置环境变量（将系统中的环境变量吃到spyglass）
相关option可以在spyglass help中查看（工具手册很全）

new_project design_name -force
set_option enableSV 1
set_option enableSV09 yes
set_option allow_non_lrm yes

set design_path       $env(design_path)
set common            $env(common )
set sram_wrapper      $env(sram_wrapper)
set design_spyglass   $env(design_spyglass)

2、读取设计文件,以下为示例

read_file -type sourcelist ${design_path}/src/syn.f

3、读取各waiver文件,以下为示例

read_file -type awl design_name.waiver.awl

按照hier读取各module的waive文件,以下为示例

waive -import {module ${design_spyglass}/module*/module*.awl}

4、读取lib文件,以下为示例

read_file -type gateslib ${sram_wrapper}/libs/rom/lib/*.lib
read_file -type gateslib /libs/TSMC/T28_GL/consumer/IP/standardcell/*hvt/*.lib

5、设置当前top

current_goal lint/lint_rtl -top deisgn_top

set_goal_option addrule W164a
set_goal_option addrule W164b
set_goal_option addrule W164b

run_goal
save_project
gui_start