计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2011年
11期
167-170
,共4页
李拓%王恩东%胡雷均%秦济龙
李拓%王恩東%鬍雷均%秦濟龍
리탁%왕은동%호뢰균%진제룡
软件高速缓存(Cache)%随机验证%覆盖率驱动%机器学习%朴素贝叶斯模型
軟件高速緩存(Cache)%隨機驗證%覆蓋率驅動%機器學習%樸素貝葉斯模型
연건고속완존(Cache)%수궤험증%복개솔구동%궤기학습%박소패협사모형
随机验证技术是当今大规模集成电路仿真验证流程中的一项重要支撑技术,覆盖率驱动的随机测试生成方法是目前该领域研究的热点之一.针对Cache一致性协议的验证目标,介绍一种引入基于朴素贝叶斯模型的机器学习来完善基于覆盖率驱动的随机验证的方法,并结合相关的实际验证过程对该方法进行了分析和讨论.
隨機驗證技術是噹今大規模集成電路倣真驗證流程中的一項重要支撐技術,覆蓋率驅動的隨機測試生成方法是目前該領域研究的熱點之一.針對Cache一緻性協議的驗證目標,介紹一種引入基于樸素貝葉斯模型的機器學習來完善基于覆蓋率驅動的隨機驗證的方法,併結閤相關的實際驗證過程對該方法進行瞭分析和討論.
수궤험증기술시당금대규모집성전로방진험증류정중적일항중요지탱기술,복개솔구동적수궤측시생성방법시목전해영역연구적열점지일.침대Cache일치성협의적험증목표,개소일충인입기우박소패협사모형적궤기학습래완선기우복개솔구동적수궤험증적방법,병결합상관적실제험증과정대해방법진행료분석화토론.
