一个新的低功率验证流提供了更好的运行时性能,减少内存消耗QoR的前提下。
由Susantha Wijesekara和Himanshu Bhatt
日益增长的设计尺寸,低功率(LP)复杂性和早期验证的必要性使得设计师采用层次化验证流。传统分层验证,设计师使用黑盒,基于自由模型分层流,时机模型(ETM)流或存根/玻璃箱流提供不同程度的权衡结果的精度和性能。而黑盒流性能是最好的,完整的平跑给最好的质量结果完整的设计是用于检查。采用一种新的流,为分层抽象模型(SAM)签收,低功率验证可以提供保证QoR通过保留足够的逻辑在sub-module级别提供更好的运行时性能在SoC水平相比持平。此外,这个流使得SoC积分器关注顶级侵犯和集成相关的问题,不用担心违反深处分层块,因为块所有者将签字的块后违规。这种高效的解决方案有8 x-15x运行时性能和减少内存消耗相比完全平坦的验证,同时不丢失任何QoR,大大减少减少周转时间(乙)在低功率验证完毕。
传统分层验证流与新技术
图1:层次比较低功率验证流
图2:黑盒vs山姆流流动
低功率等级的验证方法
在这个新的分层流、模块集成到SoC需要抽象首先使用一个低功率静态检查器,如Synopsys对此VC LP的解决方案。在抽象,分层实例和网络连接,不需要验证活动中,一个模型将扔进一个新的高密度脂蛋白文件。这个HDL模型可以加载到SoC代替原来的块SoC验证。使用这个流的好处包括减少内存使用量,改善运行时和集中违反(违规报告将主要与顶级集成)。
下面的图显示了如何抽象层次的设计,用于分层块实现QoR一样平坦但提高性能和减少周转时间运行。
图3:山姆分层流
抽象模型的特性
生成抽象模型以这样一种方式,它将只包含顶级所需的最小集合的逻辑验证,它提供了一种轻质模型相比原来的块网表。这将有助于提高静态检查工具的运行时在设计阅读以及LP检查。
在抽象、必要的工具模型逻辑完整的验证。因此,设计师不需要指定任何特殊限制的边界端口块。因为所有所需的逻辑建模期间没有违反任何缺失的SoC验证。
验证的结果
这个新的层次化验证流将确保不会有违反LP的损失。顶级公寓的所有违规报告将发表在块级别持平跑或最高+模型运行。
结果与结论
下表显示了一些设计的运行时和内存山姆流被启用
下一代soc与先进的图形、计算、机器学习和人工智能能力提出新的看不见的挑战在低功率验证。传统LP层次化验证流不扩大新设计正在录制了数以十亿计的晶体管和大量的电力领域。使用新的层次化验证技术的新工具,比如Synopsys对此低功率验证,使“左移位”在整个验证答,同时确保没有QoR的损失。
Himanshu Bhatt是一个高级职员与低功率应用工程师验证团队验证小组Synopsys对此。他有18 +年的整体经验跨越EDA和半导体行业包括ASIC设计和验证使用各种验证方法,像eRM UVM,论坛,UPF值,正式的、等价性检查。他目前正在作为一个低功率验证专家帮助设计师定义和改进他们的低功率验证流程。
|
|
|
|
|
|
|
|
|
|
留下一个回复