验证效率相关论文
随着集成电路（Integrated Circuit,IC）的技术工艺与设计能力日益发展,它的设计规模和复杂程度也不断增加,由此导致IC验证的难度不断......
简单介绍了目前主流的验证方法学UVM,并使用该方法学对CAN模块之间的通信进行了功能验证.和一般的UVM验证方法不同,在本次验证中并......
现有基于断言、形式化等的验证方法可保证电路按要求工作,但无法完成对设计的全验证.文中将软件验证环境与硬件加速器相结合,组成......
对平台配置远程证明机制的验证效率进行研究,指出现有平台配置证明机制没有考虑应用软件完整性度量值的查询频率,致使所有待查询应......
为提高验证平台的可重用性、完备性和测试效率,在分析协议特征的基础上,设计实现覆盖率导向的可重用PCIe验证平台,并将其应用于一......
电子设计自动化（EDA）软件工具厂商Synopsys日前宣布，应用其扩展的VMM验证方法，能够帮助产品开发团队更有效地定义、测量并实现他们的验......
基于Merkle哈希树提出了一种效率高、方式灵活并能保护平台隐私的远程验证机制．针对特定的目标应用场景，分析IMA（integrity measureme......
集成电路发展至今,随着芯片规模的不断扩大,逻辑功能越来越复杂,集成电路的验证(Verification)成为集成电路技术上的一个瓶颈。据......
