SpyGlass工具介绍——可进行sdc检查
可以检查sdc的主要有两款工具,一款是synopsys的Galaxy Constraint Analyzer,目前集成在pt里。另一款是Synopsys 的SpyGlass,本文主要介绍SpyGlass。
SpyGlass主要有五个功能:
一款针对verilog的RTL级的验证工具
1.lint检查
2.CDC检查:跨时钟域检查
3.LowPower
4.约束Constraint检查
5.DFT检查
1.lint检查
检查verilog代码的语法和可综合性
2.CDC检查:跨时钟域检查
识别各种FIFO和握手信号
3.LowPower
在未进行DC和PR之前对verilog进行功耗分析
4.约束Constraint检查
验证SDC文件的正确性。
5.DFT检查
测试ATPG的覆盖率分析