An efficient verification method for microprocessors based on the virtual machine

被引：0
|
作者：
An, JF [1 ]
Fan, XY [1 ]
Zhang, SB [1 ]
Wang, DH [1 ]
机构：
[1] Northwestern Polytech Univ, Xian, Peoples R China
来源：
EMBEDDED SOFTWARE AND SYSTEMS | 2005年 / 3605卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents an efficient verification method for Microprocessors based on virtual machine. Under memory and I/O device models provided by the virtual machine, our simulation tool can not only simulate test programs but also operating systems. This simulation environment is close to the real environment of microprocessors, so it is sufficient for functional verification of microprocessors before tape out. At the same time, our simulation tool can automatically compare the simulation results using the virtual machine as reference model and find the error positions. This method takes full advantage of the virtual machine and greatly improves speed and efficiency of the verification procedure. This method has been successfully applied in the verification of an embedded microprocessor Amex86 designed in our laboratory for six months by five persons.
引用
收藏
页码：514 / 521
页数：8
相关论文
共 50 条
  • [41] An algebraic approach to formal verification of microprocessors
    Hirabayashi, K
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2001, 17 (06): : 543 - 544
  • [42] An Algebraic Approach to Formal Verification of Microprocessors
    Kanji Hirabayashi
    Journal of Electronic Testing, 2001, 17 : 543 - 544
  • [43] Formal verification of explicitly parallel microprocessors
    Cook, B
    Launchbury, J
    Matthews, J
    Kieburtz, D
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 23 - 36
  • [44] Scalable hybrid verification of complex microprocessors
    Mneimneh, M
    Aloul, F
    Weaver, C
    Chatterjee, S
    Sakallah, K
    Austin, T
    38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, : 41 - 46
  • [45] Trusted auditing method of virtual machine based on improved expectation decision method
    Tian J.
    Zhang Y.
    2018, Editorial Board of Journal on Communications (39): : 52 - 63
  • [46] Formal verification of iterative algorithms in microprocessors
    Aagaard, MD
    Jones, RB
    Kaivola, R
    Kohatsu, KR
    Seger, CJH
    37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 201 - 206
  • [47] AUTOMATED VERIFICATION OF BEHAVIORAL EQUIVALENCE FOR MICROPROCESSORS
    CORELLA, F
    IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (01) : 115 - 117
  • [48] Micro-architecture verification for microprocessors
    Bin, E
    Fournier, L
    5th International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions, Proceedings, 2005, : 112 - 113
  • [49] Abstract modeling and formal verification of microprocessors
    Hanna, Ziyad
    Computer Science - Theory and Applications, 2007, 4649 : 23 - 23
  • [50] A Simple and Efficient Text-Based CAPTCHA Verification Scheme Using Virtual Keyboard
    Patel, Kajol
    Thakkar, Ankit
    INFORMATION AND COMMUNICATION TECHNOLOGY FOR INTELLIGENT SYSTEMS (ICTIS 2017) - VOL 2, 2018, 84 : 121 - 126
12345