导读
想象一下，你要设计一台高度复杂的机器。为了确定它的功能符合设计要求，并且没有任何错误，你需要详尽地测试设计的每个方面。如果机器是由一组可以打开和关闭的旋钮控制的，这个验证过程就会变得成倍地复杂。例如，一台机器有100个二进制的开关旋钮，那么就需要运行2^100个测试来覆盖所有可能的组合。如果我们假设单次测试运行时间为一秒钟，这相当于1022年的测试。对于现今的微处理器来说，它的挑战更大。在一个微处理器中，可能会有数千或数万个双态触发器。因此，不可能对微处理器设计进行详尽的验证。
作者：Hongsup Shin
阅读直达链接：https://community.arm.com/dev...
欢迎大家点赞留言，更多Arm技术文章动态请关注极术社区Arm技术专栏。
