Cache一致性验证的结构化激励生成算法

程开丰罗汉青梁利平

湖南大学学报（自然科学版）2018，Vol.45Issue(10)：108-114,7.

湖南大学学报（自然科学版）2018，Vol.45Issue(10)：108-114,7.DOI:10.16339/j.cnki.hdxbzkb.2018.10.015

Structural Stimuli Generation Algorithm for Cache Coherence Verification

程开丰 ¹罗汉青 ¹梁利平¹

作者信息

Cache一致性/有向二分图模型/等价类划分/高层次功能覆盖率模型/结构化激励生成

信息技术与安全科学

程开丰,罗汉青,梁利平..Cache一致性验证的结构化激励生成算法[J].湖南大学学报（自然科学版）,2018,45(10):108-114,7.

新一代宽带无线移动通信网国家科技重大专项(2013ZX03003015) （2013ZX03003015）

OA北大核心CSCDCSTPCD

ISSN：1674-2974

访问量0

下载量0

段落导航