如何使用形式化验证来验证新兴PCIe 5.0和CXL 2.0标准的设计IP的实现。
随着5G的推出，全球数据流量的增加，流媒体服务的普及，以及人工智能和机器学习(AI/ML)应用的扩展，我们将继续看到数据和计算需求的巨大增长。近年来出现了几个新的行业标准规范，用于定义底层电子组件和IP构建块的协议。CXL联盟的计算快速链路(CXL) 2.0规范就是这样一个标准，定义了基于PCI Express (PCIe) 5.0协议的高速、低延迟、缓存一致性互连。在本白皮书中，我们将研究如何成功地部署正式的验证技术来验证这些新兴标准的Cadence设计IP的实现。
作者:哈米什·亨德利，萨克蒂维尔·拉玛雅，德里克·麦考雷，加里·迪克，凯蒂丝
点击在这里了解更多。
|
|
|
|
|
|
|
|
|
|
留下回复