提高门槛平疾控中心与层次数据模型验证

阿施施哈里,Aditya Vij,萍杨

传统上,时钟域交叉(CDC)验证在SoC水平依赖于平坦的模拟运行。但平疾控中心验证燃料耗尽。很大程度上是因为增加的异步时钟的数量更大,更快,更复杂的设计。平中心运行表现太密集,费时,导致高噪音。他们产生冗余调试的额外负担,因为相同的疾病预防控制中心虫可以被复制到多个实例相同模块的完整的芯片。

传统的疾病预防控制中心验证方法也不是善于处理设计模块由不同的设计师在不同的地理位置。这些分散的设计工作需要一个分布式疾控中心验证机制,其中每个模块可以单独验证,然后在SoC集成为完整的疾控中心验证。这种分布式疾控中心验证方法应可伸缩处理数十亿门设计和准确性或ease-of-debug不应该妥协。

此外,第三方知识产权和设计重用挑战平疾控中心验证方法。因为IP块往往已经验证是免费的(即疾病预防控制中心的问题。,他们是美国疾病控制与预防中心清洁),验证转向验证集成各种IP而不是IP块的内部。频繁的第三方知识产权内部细节还需要隐藏他们的集成仍然必须全面验证。SoC团队急需疾控中心基于IP流只是CDC IP集成模型和验证任何疾病预防控制中心问题可能出现的由于错误的集成。

为了解决这些紧迫的问题,我们开发了一种新的分层疾控中心验证方法,支持一种基于ip的流量,可以作为替代平面中心验证流。在本文中,我们描述这个解决方案的支柱:层次数据模型(HDM)。HDM相当于一个便携式CDC IP捕获任何块的中心意图及其集成规则。它是一个通用的数据模型,可以无缝地跨版本和设计重用IP重用的地方。

HDM方法
我们开发了新一代层次化验证方法来解决传统平方法的缺点和局限性与现有层次验证。结果是一个系统的和准确的分层验证方法,导致更快的疾病预防控制中心关闭。这种方法的可配置性和灵活性保证它可以迎合各级疾病预防控制中心验证——从IP块子系统对整个SoC。

这个新的HDM-based分级方法有几个重要特征。HDM是一个抽象的异构表示模块。它存储在一个抽象的面向对象的数据库以压缩格式。HDM是轻量级和便携式。它捕捉各种信息模块;如物体的中心意图、界面属性,环境约束,示意图信息集成需求,和可能的配置。HDM紧凑和快速处理而不丢失任何疾病预防控制中心相关信息。它是用来存储抽象网络列表表示支持中心reconvergence分析在顶层。因此,为疾病预防控制中心分析,其他接口表示相比有明显优势;如自由、设计约束、时间约束,等等。尽管HDM是一个二进制的数据库,用户随时可以反编译看到内部,还覆盖接口属性约束。 Figure 1 shows an example of a decompiled HDM file.

图1:HDM User-readable版本

提出了分层方法的基本流程见图2和图3。

图2:HDM代在IP验证

层次数据模型生成在IP验证:在ip级别疾控中心验证,生成一个数据模型以及疾病预防控制中心的结果。这个HDM包含所有必要的信息块来验证和调试问题在SoC集成块中。IP设计师可以选择生成的数据模型为每个配置IP。设计师也可以嵌入在HDM集成需求。例如,如果一个时钟端口将被连接到一个特定的时钟发生器模块,然后在HDM代这样的连接信息可以提供。IP设计师也可以控制内的能见度水平IP。如果设计师打算只提供疾病预防控制中心模型和隐藏的内部连接,然后HDM可以相应的生成。一旦hdm生成的配置,它们可以存档或传递给SoC团队。

图3:HDM SoC验证中使用

HDM使用在SoC验证:在SoC-level疾控中心验证,SoC团队只需要包括HDM文件提供的IP团队。所有必要的信息的提取IP HDM和用于SoC疾控中心分析,和所有CDC问题IP块报告给用户。同时,用户通报ip级别和SoC-level设置之间的任何差异或约束。知识产权所有者指定的集成需求也从HDM SoC-level疾控中心运行和验证。例如,如果指定时钟端口不受时钟发生器模块然后违反将被标记。

提高在其他层次的方法
我们有多年的开发和部署基于模型方法。基于我们的经验与现有的方法,我们可以设计新的HDM-based验证方法明确解决其局限性。

参数化的IP支持:在大多数情况下,IP块有多个参数化配置,每个配置都有不同的功能。疾控中心对准确验证生成一个层次模型是很重要的,正确的配置用于SoC运行。一个SoC也可以包含多个实例的IP与不同的配置。有责任确保层次模型的验证方法的正确配置插入正确的实例。拟议中的HDM-based方法解决这一挑战通过自动选择正确的配置数据模型和提醒用户如果没有找到匹配。这种使用模式还允许用户执行中心分析为每个配置的IP和生成HDM文件,如图4所示。

图4:使用模型设计与参数化的ip

精度:该方法的主要优点是数据模型的存储所有相关信息,以确保准确的疾病预防控制中心验证SoC水平没有任何妥协的调试。任何复杂的交叉,可以检测到平疾控中心分析也会被这种方法。此外,报告和调试功能匹配平面运行行为。例如,如果内部的IP块有多个扇出和扇入块,然后每个或扇入扇出的疾病预防控制中心将在此方法准确地报道。在图5中,IP输入端口连接到某个clk1和clk2块IP1内域,并驱动输出端口。正确使用所有口岸HDM方法报道——两个同步交叉和一个同步的穿越到输出端口。

图5:准确穿越HDM-based流的检测

通过这种方法,复杂的散度和reconvergence问题也可以检测到。图6显示了一个跨越两个不同的IP块reconvergence问题。这些问题可以确定使用hdm IP2 IP1块和块。

图6:Reconvergence HDM-based检测到的流

调试能力:在大多数现有的分级方法,调试违规在一块非常具有挑战性。在大多数情况下,在SoC验证的IP块的黑箱示意图所示。提出的方法保留了块示意图数据模型并将其显示给用户。因此,用户可以查看完整的疾控中心路径,即使它的一部分是内部的IP块。图7显示了一个示例的顶级示意图冗余同步违反跨两个IP块,SoC-level来看报道。

图7:冗余同步跨越IP块使用hdm示意图

支持为知识产权集成检查:HDM方法支持集成规则检查,这对于基于ip流是必要的。在疾控中心验证的IP,设计师也可以提供需求属性,应持有期间IP集成。建议将验证通过数据模型在疾病预防控制中心在SoC验证水平。举个例子,如果一个IP的一个输入端是连接到一个同步器,然后用户可以指定港口后不应由组合逻辑集成。类似地,如果一些端口连接的IP将一些特定的模块或特定的时钟域,IP设计者可以嵌入在HDM这些规则。拟议的方法将验证这个属性在SoC疾控中心确认并通知用户是否有规范的规则失败。这种方法不仅可以确保CDC-clean IPs,也确保清洁IPs的集成。

图8显示了一个多路分配器的同步器的IP块的边界。多路分配器同步器是有效的只有当TXDATA和TXSEL是由同一个时钟域。IP设计者可以嵌入这些信息通过“海尔承担港口”约束,如下指定。HDM方法验证将确保这条规则在任何SoC集成IP HDM时。

图8:集成IP块规则的例子

可配置的可见内部IP:这种方法便于产生和使用的HDM不同能见度水平。例如,在一代知识产权所有者可以控制是否公开IP通过HDM内部。这样可以确保这种方法可以用于加密IP以及在知识产权所有者需要通过集成规则没有任何可见的HDM内部的IP。在这种情况下块示意图SoC-level验证期间将不可用,和疾控中心问题将被报道的IP块港口。如果知识产权所有者提供了可见性许可,SoC的所有者可以控制是否使用IP的内部信息。

Constraints-based方法:该方法使用constraints-based分层模型还提供了灵活性。有时SoC-level验证块开发完成之前开始。在这种情况下,生成一个抽象模型的IP是不可能的。在这种情况下,IP设计师可以通过约束描述HDM SoC验证期间,可以使用。约束也可以从一个HDM文件生成的。在这种方法,可以灵活选择使用模型对IP和SoC验证工程师。

可重用的美国疾病控制与预防中心知识产权:HDM本质上是一个疾控中心可以存档的IP块用于任何设计时使用。一般来说,IP和SoC发展由不同的团队独立发生,经常使用不同版本或不同的方法验证。其发展后,也可以使用IP在多个soc在不同版本。每次IP集成,层次模型不需要再生。一旦完成IP HDM可以生成并存档,然后在设计和发布之间重用。

更多细节关于HDM-based疾控中心验证方法可以帮助您更快地享受到更快的疾病预防控制中心分析问题和疾病预防控制中心验证关闭,请下载白皮书,综合中心验证使用先进的分层数据模型。

Aditya Vij是产品工程师,ICVS深静脉血栓形成,营销中的那导师,西门子业务。

萍杨是一个验证技术专家,在导师ICVS深静脉血栓形成中的那验证技术,西门子的业务。