本文针对多核处理器中的Cache一致性协议,提出基于功能覆盖率的验证方法。通过分析协议的关键功能点,构建覆盖模型,提高验证效率与完备性。论文在第十五届计算机工程与工艺年会暨第一届微处理器技术论坛上发表,为多核系统验证提供了新思路。
举报