What's SpyGlass?

五大模块： Lint,  CDC(多时钟域检查), LP（低功耗)，Constraint(约束)，DFT(可测试性)。

基本功能为Lint, 类似于Leda。CDC, LP, Constraint, DFT为新增。

SpyGlass还提供了四个功能强大的选项：
（一）SpyGlass CDC提供了业界最完整的多时钟域解决方案，能自动识别各种同步手段（包括HandShake,FIFO），能采用Formal引擎验证同步方法在功能上的正确性。
（二）SpyGlass Constraints帮助设计人员在设计的整个流程中生成，验证和管理他们的约束文件。
（三）SpyGlass DFT提供了能够预测ATPG的测试覆盖率分析的能力，基于这个选项，用户可以很容易地预计所作设计的可测试性并且利用工具提供的指导来提高设计的可测试性。
（四）SpyGlass LowPower能够让用户能够快速分析出设计中的功耗效率问题，从而在还没有达到后端工序的情况下快速地进行功耗的优化，在power estimate工具中，用户甚至可以在不进行逻辑综合和物理实现的情况下对功耗进行量化的计算。