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 条
  • [1] VMSIM: Virtual machine based a full system simulation platform for microprocessors' functional verification
    An, Jianfeng
    Fan, Xiaoya
    Zhang, Shengbing
    Wang, Danghui
    Wang, Yi
    THIRD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, PROCEEDINGS, 2006, : 245 - +
  • [2] A REWRITING BASED METHOD FOR THE FORMAL VERIFICATION OF MICROPROCESSORS
    ALLEMAND, M
    COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS, 1993, 32 : 115 - 122
  • [3] A test vector selection method based on machine learning for efficient presilicon verification
    Lim, Hyeong Gu
    Jang, Jaeyeon
    Ju, Byung Kook
    Ko, Jae Woo
    Kim, Chang Ouk
    EXPERT SYSTEMS WITH APPLICATIONS, 2023, 224
  • [4] Verification of the power converter based virtual synchronous machine
    Tsai, Meng-jiang
    Chang, Yu-jiun
    Cheng, Po-tai
    2016 19TH INTERNATIONAL CONFERENCE ON ELECTRICAL MACHINES AND SYSTEMS (ICEMS 2016), 2016,
  • [5] An Energy Efficient Virtual Machine Migration Method in Cloud
    Liang, Hongtao
    Xu, Jianliang
    Yuan, Min
    Liu, Mingtao
    Wang, Xiaohong
    PROCEEDINGS OF THE 2016 4TH INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND COMPUTING TECHNOLOGY, 2016, 60 : 1191 - 1194
  • [6] Efficient translation of boolean formulas to CNF in formal verification of microprocessors
    Velev, MN
    ASP-DAC 2004: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2004, : 310 - 315
  • [7] An Efficient Disk I/O Characteristics Collection Method Based on Virtual Machine Technology
    Shen Yu-Liang
    Xu Lu
    HPCC 2008: 10TH IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, PROCEEDINGS, 2008, : 943 - +
  • [8] FORMAL VERIFICATION OF MICROPROCESSORS
    SRIVAS, M
    BICKFORD, M
    COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 93 - 102
  • [9] Exploiting signal unobservability for efficient translation to CNF in formal verification of microprocessors
    Velev, MN
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 266 - 271
  • [10] Simulation Verification of Parts Processing Based on Virtual Numerical Control Machine
    Meng, Fanjun
    Zhang, Dashun
    Wang, Jing
    Miao, Liqin
    Li, Xueguang
    Hu, Huizhong
    2021 7TH INTERNATIONAL CONFERENCE ON MECHANICAL ENGINEERING AND AUTOMATION (ICMEAS 2021), 2021, : 63 - 67
12345