指令覆盖率相关论文
指令正确性验证工作是微处理器设计中必不可少的一步。在流片之前如何自动的、尽可能全面的对处理器指令进行功能上的测试一直是验......
提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功......