GE IS220PSCAH1A 应用特殊分析以验证重置域交叉

Description

GE IS220PSCAH1A 现代ASIC和FPGA设计的复杂性要求自动验证设计中使用的重置方案。异步复位路径是时钟域交叉口(CDC)的特殊情况，并通过EDA CDC验证工具的特殊算法进行处理。异步重置验证包括识别复位分布树以及对所应用的复位同步方案的分析。该分析必须考虑到与常规同步逻辑的重置连接以及与黑框IP内核的连接。此外，该分析应验证可能的重新解决路径问题，从而导致不同重置域之间的时钟释放序列不正确。应用特殊分析以验证重置域交叉(RDC)不会引起功能故障[13]。

GE IS220PSCAH1A 异步重置可能跨越整个设计，因此异步复位cDC路径的数量可能是设计中触发器数量的顺序。为了处理如此大量的计时路径，EDA工具必须能够简洁地展示信息，从而实现有效的报告分析。该报告生成和分析的一个示例如图17所示，其中重置分布树及其源被自动识别，并生成冷凝的文本和视觉报告，从而导致高效且快速的设计分析[5]。可以通过自动解决方案生成来加强验证过程，以确定有缺陷的异步复位CDC和CDC的自动约束世代[5]。