Author Login Editor-in-Chief Peer Review Editor Work Office Work

Computer Engineering ›› 2007, Vol. 33 ›› Issue (15): 227-229. doi: 10.3969/j.issn.1000-3428.2007.15.081

• Engineer Application Technology and Realization • Previous Articles     Next Articles

Constraint-based Random Test Model for Microprocessor Interface Unit

HUAN Dan-dan1,2, LI Zu-song1,2, LIU Zhi-yong1   

  1. (1. Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080; 2. Graduate School, Chinese Academy of Sciences, Beijing 100039)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-08-05 Published:2007-08-05

基于约束的处理器接口随机测试模型

郇丹丹1,2,李祖松1,2,刘志勇1   

  1. (1. 中国科学院计算技术研究所,北京100080;2. 中国科学院研究生院,北京100039)

Abstract: This paper proposes a test model and implement scheme of microprocessor interface unit. Random test method is adopted in this model, and constrained random test is used in stimulus generation. Experimental results show that the constrained random test model can achieve 83.68% functional coverage and accomplish functional verification of microprocessor interface unit efficiently.

Key words: interface, functional verification, simulation, constrained random test, coverage, Godson-2

摘要: 提出了一种处理器接口测试模型,并给出了具体实现方案。该测试模型将仿真测试的方法应用于处理器接口测试,在激励生成中采用基于约束的随机测试生成方法。结果表明,基于约束的处理器接口随机测试模型的覆盖率达到83.68%,能够快速有效地完成处理器接口部件的功能验证。

关键词: 接口, 功能验证, 仿真, 约束随机测试, 覆盖率, 龙芯2号

CLC Number: