时钟和复位UPF值知道解决方案域交叉。
下一代soc与先进的图形、计算、机器学习(毫升)和人工智能(AI)能力提出新的看不见的挑战在低功率验证。这些技术可以引入关键错误设计,特别是当电源管理基础设施与信号跨时钟域或重置。这可以创建额外的clock-domain穿越(CDC)或reset-domain穿越(RDC)路径或打破通过初审的CDC / RDC的同步路径。这也可能导致微妙的错误逃到硅传统CDC / RDC工具不能抓。这个博客强调挑战和描述了UPF知道时钟和复位的静态验证解决方案域交叉。
设计趋势影响静态验证
图1:设计趋势表明越来越多的时钟,重置、电压域和关闭域
解决方案确保一致性验证和实现
图2:UPF值意识到疾病预防控制中心/ RDC的解决方案
在上图中,B1和B2是两个不同的区块各有不同的重置。当只有RTL读,如果rst_A断言,即使时钟一样,这是一个不安全的结构,因为异步rst_A断言。当你读的UPF的RTL,创建域交叉。电力领域密切相关的重置,因为用户需要断电,醒来基于上电复位。趟车可以隔离策略基于隔离电源域口岸的检测。相同的ISO启用以来RDC可以作为限定符重置与权力领域,现在变成了一个安全的结构。所以,如果只有RTL阅读,用户会看到一个不安全的结构而如果RTL + UPF读取,用户将看到一个安全结构,不会得通过分析侵犯的痛苦。另一种情况是如果RTL ISO限定符没有关系。现在,自源和目的地的时钟是不同的,它变成了一个疾控中心交叉和是一个错过的缺陷。这因此需要需要UPF意识到疾病预防控制中心/ RDC的解决方案。
图3:之间的一致性是实现与验证
使用此解决方案的一个最大的优势是它的实际仪器低功耗结构设计。另一个优势是,这个解决方案确保验证与实现匹配。UPF值解释整个流必须是一致的,这是它所提供的解决方案。
隔离优先规则应该有相同的一致解释整个流程。在图3中,有多个隔离政策写入相同的端口p .如果政策使en2得到应用,它将创建一个异步交叉自源和汇在不同时钟域,会导致疾病预防控制中心虫。由于这种技术使用VC LP UPF解析器隔离设备,它保证了UPF值解释匹配与实现。
VC LP的解决方案被设计来满足增长的需求设计大小和复杂性。它使用高速发动机和生产证明是150 +的客户。它提供了一个一致的设计行为和流量使用行业领先实现和结果的解决方案。这里描述的UPF值意识到疾病预防控制中心/ RDC验证技术将“左移位”低功耗SoC设计的验证,以及使验证健壮足以阻止微妙的错误转义成硅。
|
|
|
|
|
|
|
|
|
|
留下一个回复