SpyGlass

产品定位

SpyGlass 平台使用许多先进的算法和分析技术，在设计流程之初的 RTL 阶段就可以洞察有关设计。它的功能类似于设计工程师和管理人员的交互式指导系统，为复杂的 SoC 找到更快捷、经济的实施途径。

核心功能

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

应用场景

SpyGlass 适用于芯片 RTL 阶段静态与形式验证场景。芯片设计工程师、SoC 设计团队可借助其进行设计流程之初 RTL 阶段的洞察与分析，用于多时钟域（CDC）验证、约束文件生成与管理、DFT 测试覆盖率分析与低功耗分析，帮助复杂的 SoC 找到更快捷、经济的实施途径，是 Synopsys 面向静态与形式验证的 SpyGlass 平台。