在设计一个复杂的处理器内核时，可能会出现1000到2000个不等的bug，经验告诉我们这是事实，尽管这个数字听上去难以置信。而且并不是所有的bug都是一样的：它们的重要性和带来的后果有很大的不同。本文让我们来看看4种不同类型的CPU漏洞，如何找到它们？以及如果我们没有及时找到并击中它们，对用户来说会有着怎么样的后果？
类型一：验证工程师很容易发现的处理器漏洞！
类似在设计过程中忘记写入一个分号的漏洞类型非常容易发现，它通常是在编译时直接发现的。对于此类bug，除了睁大你的眼睛之外，没有其他办法来避免！
可能你会经常听到同事说"哦，这个规范的一部分没有被实现"。这其实是另一种极其容易发现的CPU漏洞，只要有一个明确的测试存在，你就可以用任何像样的测试平台找到它。在这种情况下，行使该功能的第一个简单测试将失败。那么此时处理器验证团队需要做什么？确保详尽健全的测试方式方法是一方面。另一方面，设计团队需要努力仔细阅读规范，并在开发过程中随时关注规范的任何变化。
换句话说，简单的bug是指仅仅通过运行该功能的测试就能发现。它的（坏）行为是系统性的，而不是一个时间条件。详尽的验证是找到这种CPU bug的关键。代码覆盖率可以帮助你，但绝对不够。如果一个功能没有在RTL中编码，覆盖率也就不可能报告它的缺失？此时需要在规范明确的情况下执行代码审查。
类型二：验证团队钟爱的极端案例!
极端案例下的CPU漏洞找起来比较复杂，需要一个强大的测试平台。行使该功能的简单测试用例在有随机延迟的情况下也可以通过。很多时候，当异步事件加入时，就可以发现这些bug。例如，一个中断正好在两条指令之间到达，时间很精确。或者当存储缓冲区想要合并的时候，缓存中的一行被驱逐时。为了解决这些问题，我们需要一个测试平台来处理指令、参数和延迟，从而使所有可能的指令和事件的交错都得到锻炼。很明显，一个好的检查器应该发现任何与预期不同的偏差项。
在这种情况下，不幸的是代码覆盖率完全没用。仅仅是因为bug的条件是几个事件的组合，而这些事件已经被单独覆盖。在这里，条件覆盖或分支覆盖可能会有帮助。但分析起来很痛苦，而且最终也不会有有效的结果。
动画显示了4种类型的CPU bug演变过程
- 测试平台已经发现了简单的bug和几个极端案例。
- 我们从这些极端案例中汲取经验，以改进测试平台并扩大验证范围。这样做可以使我们发现隐藏漏洞，此时隐藏bug转变为极端bug（或较容易的bug）。
- 随着bug成群结队的出现，我们可以根据最后发现的bug进一步扩大验证范围。
- 当我们遇到一个“愚蠢”的bug时，就意味着我们的验证测试已经足够有效了。
类型三：偶然发现的隐匿式CPU漏洞——或由客户发现的漏洞！
最坏的情况是如果这种隐藏的bug是由客户发现的，或者是偶然发现的（团队内部或在发布之前）。出现这两种情况，这意味着目前的验证方法不足以击中它们。
如果使用不同的测试平台或环境，因为刺激的不同可以找到其他的漏洞。那么我们所说的 "偶然发现 "是什么意思？这里涉及到随机测试平台方法的限制。
在随机刺激下，测试平台通常会产生 "相同 "的东西。如果你掷骰子得到一个随机数，连续10次得到数字6的机会非常少。准确地说，是六千万分之一的机会。对于有100条不同指令的RISC-V CPU来说，一个（可等价的）随机指令发生器每10⁰次只有1次机会产生连续10次相同的指令，这种机率是魔方不同位置数量的两倍……在一个10级流水线处理器上，用所有流水线阶段的相同指令来测试它也不是不合理的。如果此时还不调整随机约束，那么只能祝你好运……
类型四：在现实生活中不会出现的“silly bugs”！
如果我们把极端漏洞和隐藏漏洞看得太重，那么最终创建的测试或许有点徒劳。
在连接调试器时，每个周期来回改变字节数，这可能是永远不会出现在消费者产品上的案例，如果一个CPU漏洞的后果对客户来说是不可见的，那么它就不是一个真正的漏洞。如果你在复制文件时故意拔掉U盘，而导致文件被损坏，我认为这不是一个bug。如果某些操作导致USB控制器挂起，那么此时这是一个不容无视bug。
当我们试图扩大验证的范围时，如果出现“silly bugs”，那么我们可能是在错误的地方投入了太多的努力。
应用不同的验证技术，在客户之前有效地发现CPU漏洞，是Codasip应用的验证方法。我们使用多个组件测试平台，各种随机测试生成器，随机刺激器，以及其他一些技术来验证我们的产品。并随着项目的发展，发展完善这些技术以拥有一个强大的验证方法。更多关于处理器验证方法，请关注我们的系列博文，了解Codasip如何不断改进验证方法，以获得最高品质的处理器产品。
作者：
Philippe Luc
Codasip验证事业部总监
-
微信扫一扫
一键转发 -
最前沿的电子设计资讯
请关注“电子技术设计微信公众号”
- 爱立信推出基于“Intel 4”工艺的处理器，甚至领先于英 爱立信在其新闻稿中指出，与上一代相比，新的 RAN 处理器 6672 和无线电处理器 6372 的容量增加了四倍，效率提高了一倍。他们声称，Intel 4上的新处理器的功耗比行业基准低30%到60%。
- AM62x开发板5折，米尔助力TI研讨会 11月22日，在德州仪器北京嵌入式技术创新发展研讨会上，米尔电子展出AM335x、AM437x、AM62x相关的产品方案和应用演示，为广大工程师们提供共同交流的开放式平台，一起探索嵌入式产品应用。
- 工业一体全国产方案，米尔T113核心板79起 随着信息技术的快速发展，行业需求不断升级，工程师使用了大量串口屏后，发现串口屏功能上限很低、制约太多、非常不灵活等问题。
- 限量7折！米尔STM32MP135开发板 米尔电子作为ST官方合作伙伴，先后开发了STM32MP151、STM32MP157、STM32MP135系列核心板和开发板，受到广大客户的认可。
- 安谋科技：汽车芯算力，车载融合计算IP平台助力新智驾未来 在“2023中国临港国际半导体大会”同期举办的“汽车半导体峰会”上，安谋科技汽车业务线业务发展与方案总监曾霖发表了“汽车芯算力，车载融合计算IP平台助力新智驾未来”的主题演讲。
- LG电子采用芯原矢量图形GPU 业经验证的2.5D GPU可通过芯原的VGLite API全面支持行业标准SVG和LVGL
- 理想自研芯片，总体人员规模在160人以上 据EDN电子技术设计报道，理想在加大芯片自研方面投入，同时研发用于智能驾驶场景的 AI推理芯片，和用于驱动电机控制器的 SiC 功率芯片。
- 联发科发布天玑8300 5G生成式AI移动芯片：GPU峰值性能提 天玑8300基于Armv9 CPU架构，采用台积电第二代4nm工艺，八核CPU由4个Cortex-A715性能核心和4个Cortex-A510能效核心组成，官方表示，CPU峰值性能较上一代提升20%，功耗降低30%。
- 米尔AM62x核心板，高配价低，AM335x升级首选 随着工业4.0的发展，HMI人机交互、工业工控、医疗等领域的应用面临迫切的升级需求，AM62x处理器作为TI Sitara产品线新一代MPU产品
- SK海力士计划将GPU和内存半导体集成到单个封装中 SK海力士近期新增了大量逻辑（系统）半导体设计人员，多名骨干人员组成团队，开始研究半导体设计。据悉，SK海力士决定从HBM4开始，挑战在同一个芯片上同时实现存储半导体和逻辑半导体的方法。一位业内人士表示，“‘半导体游戏规则’可能在10年内改变”，“区分存储半导体和逻辑半导体可能变得毫无意义”。
- 高通发布骁龙7 Gen 3：AI功能更强大，或首发于荣耀和Vivo 该处理器采用台积电 4nm 工艺制造，具有 1+3+4 CPU 配置。Kryo CPU 提供主频为 2.63GHz 的主核心，还有 3 个主频为 2.4GHz 的性能核心，还有四个主频为 1.8GGHz 的高效核心。
- “爱芯元速”——爱芯元智正式推出车载品牌 爱芯元智正式面向智能驾驶领域推出车载品牌——爱芯元速，以彰显公司在该领域的技术实力与商业成果，进一步夯实战略布局，践行“普惠AI造就美好生活”的企业使命。
- 新品亮相、三城巡回！ “2023年度小华半导体产品&技术交流会”圆满 11月28日，“2023年度小华半导体产品&技术交流会”最后一站在上海圆满收官。此次交流会以“铸就芯程，智造未来
- 天龙PerL Pro真无线耳机拆解 近期，天龙再次推出了DENON PerL和DENON PerL Pro两款采用全新设计的TWS降噪耳机新品，其中“Pro”定位于旗舰，拥
- 拆解报告：lifeme魅蓝140W 2C1A氮化镓充电器 充电头网拿到了魅蓝一款140W多口氮化镓充电器，这款充电器采用圆润白色机身，配有折叠插脚，小巧便携。下面就带来
- 拆解报告：绿联4K HDMI视频采集卡 绿联这款HDMI视频采集卡采用铝合金外壳，具有良好的散热性能，并且坚固耐用。采集卡具有两个HDMI接口，支持4K30Hz
- 拆解报告：贝尔金100W USB-C编织数据线 贝尔金这款USB-C数据线长度约为2米，采用双色编织外皮，支持100W快充，非常适合为笔记本电脑，手机和大功率移动电源
- 年底刺刀见红，11月第4周热点车企销量盘点 上周11月20日-11月26日，国产乘用车总销量43.8万辆，其中燃油车26.2万台，国产新能源乘用车销量 17.6万辆，新能源渗
- 冰火两重天，11月第4周热点车型大PK 年底最大的特征，不好卖的车型，都得降价。实在绷不住了，这并不是瑞雪照丰年，这代表下一场寒冬还在前面等着我们！
- IEEE新晋Fellow名单公布，射频微波领域有哪些大牛入选呢？ 总共有53名新晋Fellow的研究方向和无线通信以及射频微波有关，占到2024新晋Fellow总人数的16%···
- HUAWEI DATS 3.0动态自适应扭矩控制系统 HUAWEI DATS 3.0动态自适应扭矩控制系统的引入，不仅提升了车辆的操控性、舒适性和安全性，也展示了智能控制技
- 拆解报告：LISEN 240W USB-C快充编织数据线 下面就带来李森科技这款240W数据线的拆解，看看内部的用料和做工···
- 拆解报告：邦克仕10000mAh 15W磁吸支架背夹电池 Benks邦克仕推出了一款10000mAh的磁吸支架背夹电池，可作为磁吸无线移动电源使用，还可以作为手机支架使用，在充
- 进来教你无人机蜂群作战以及反无人机蜂群作战 《流浪地球2》中出现的无人机蜂群作战的技术，现在现实中其实是有迹可循的吗？
- 武汉芯源半导体首款车规级MCU，CW32A030C8T7通过AEC-Q100测试考核 近日，武汉芯源半导体正式发布首款基于Cortex®-M0+内核的CW32A030C8T7车规级MCU，这是武汉芯源半导体首款通
- 西门子推出HEEDS AI Simulation Predictor和Simcenter Reduced O 西门子的HEEDS AI Simulation Predictor解决方案能够帮助企业发挥数字孪生优势，通过内置准确性意识的人工智
- Achronix推出基于FPGA的加速自动语音识别解决方案 提供超低延迟和极低错误率（WER）的实时流式语音转文本解决方案，可同时运行超过1000个并发语音流
- Diodes公司的低功耗1.8V、2.5Gbps、双数据通道ReDriver支持MIPI Diodes推出一款低功耗、高性能且符合MIPI D-PHY 1.2协议的信号ReDriver。
- 2023中国航空应急救援年会 2023年12月15至16日 河北廊坊
- AM62x开发板5折，米尔助力TI研讨会 11月22日，在德州仪器北京嵌入式技术创新发展研讨会上，米尔电子展出AM335x、AM437x、AM62x相关的产品方案和应
- 工业一体全国产方案，米尔T113核心板79起 随着信息技术的快速发展，行业需求不断升级，工程师使用了大量串口屏后，发现串口屏功能上限很低、制约太多、非常
- 限量7折！米尔STM32MP135开发板 米尔电子作为ST官方合作伙伴，先后开发了STM32MP151、STM32MP157、STM32MP135系列核心板和开发板，受到广大客户
- Arm扩展Cortex-M产品组合，将人工智能引入超小型端点设备 全新Arm Cortex-M52是采用了Arm Helium技术中面积最小且面积能效与成本效益极为优异的处理器，可为更低成本的
- IAR为恩智浦S32M2提供全面支持，提升电机控制能力 IAR Embedded Workbench for Arm已全面支持恩智浦最新的S32系列，可加速软件定义汽车的车身和舒适性应用的开
- 美光率先为业界伙伴提供基于32Gb单裸片DRAM的高速率、低延迟128G 美光基于1β先进制程的DRAM速率高达8,000MT/s，为生成式AI等内存密集型应用提供更出色的解决方案
- 瑞萨面向高端工业传感器系统推出具备高速、高精度模拟前端的32位 全新RX23E-B相比现有版本数据速率快8倍，并包含125 kSPS ΔΣ A/D转换器
