Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Computer-Aided Design & Computer Graphics》 2006-10
Add to Favorite Get Latest Update

Program Generation for Functional Verification of Microprocessor

Yao Yingbiao Liu Peng Yao Qingdong Xiao Zhibin (Department of Information Science and Electronic Engineering,Zhejiang University,Hangzhou 310027)  
According to the function,syntax format and semantic requirements of instructions,we build instruction type sets and instruction operand sets of microprocessor.Then we create an instruction generation model for each instruction type set and verification program templates based on instruction generation models,verification plan,etc.Focusing on the functional verification of instruction sequences,we introduce its verification method which is based on the basic state transition path of FSM abstracted from pipeline control unit of microprocessor.At last,verification programs can be pseudo-randomly generated according to program templates.Experimental results show that this approach can efficiently generate RISC3200's verification programs with high functional coverage and low simulation time.
【Key Words】: functional verification pseudo-random generation microprocessor state transition path
【Fund】: 国家“八六三”高技术研究发展计划(2002AA1Z1140 863-SOC-Y-3-2);; 霍英东教育基金(94031)
【CateGory Index】: TP332
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 5 Hits
1 YU Zhi-guo*,WEI Jing-He(The 58th Research Institute of CETC,Wuxi Jiangsu 214035,China);Design of Functional Verification Platform for an Embedded CPU[J];Chinese Journal of Electron Devices;2009-01
2 WU Lie-zhi,ZHANG Sheng-bing,SHEN Xu-bang(Aviation Microelectronic Center,Northwestern Polytechnical University, Xi'an 710072,China);Verification of microprocessor based on dynamic pseudo-random instruction generation[J];Application Research of Computers;2008-06
3 ZHANG Xin,HUANG Kai,MENG Jian-yi,YIN Liao,YAN Xiao-lang,GE Hai-tong(Institute of VLSI Design,Zhejiang University,Hangzhou 310027,China);Multi-layer random stimulus strategy for microprocessor verification[J];Application Research of Computers;2010-04
4 LIU Xiao-yan,ZHOU Kuan-jiu,XI Fang(School of Software,Dalian University of Technology,Dalian 116620,China);Design and Implementation of Simulation System Based on Sparc Microprocessor[J];Computer Technology and Development;2010-01
5 LUO Han-qing;LIANG Li-ping;YE Tian-chun;Institute of Microelectronics of Chinese Academy of Sciences;;Automatic Random Test Program Generation for DSP[J];Microelectronics & Computer;2013-11
【Citations】
Chinese Journal Full-text Database 1 Hits
1 Li Guanghui 1,2,3) Shao Ming 2,3) Li Xiaowei 2,3) 1)(School of Information Engineering, Zhejiang Forestry College, Hanzhou 311300) 2)(Laboratory of Network Information, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080) 3)(Graduate School of the Chinese Academy of Sciences, Beijing 100039 );Equivalence Checking for General Purpose CPU Design Verification[J];Journal of Computer Aided Design & Computer Graphics;2005-02
【Co-citations】
Chinese Journal Full-text Database 2 Hits
1 ZENG Qiong~1,2(1.Chengdu University of Information Technology,Chengdu 610225,China;2.Chengdu Institute of Computer Application,Chinese Academy of Sciences,Chengdu 610041,China);Combinational equivalence check based on recursive learning[J];Journal of Chengdu University of Information Technology;2006-04
2 Liu Lingyi1,2,3)Zhao Yang1,2,3)Lu Tao1,2)Li Huawei1,2)Li Xiaowei1,2)1)(Key Laboratory of Computer System and Architecture,Chinese Academy of Sciences,Beijing 100080)2)(Advanced Test Technology Laboratory,Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100080)3)(Graduate University of Chinese Academy of Sciences,Beijing 100049);Combining ATPG and SAT for Preimage Computation in Unbounded Model Checking[J];Journal of Computer-Aided Design & Computer Graphics;2007-03
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 CI Yan-ke, CHEN Xiu-ying, WU Sun-tao, GUO Dong-hui ( Institute of Technical Physics, Xiamen University, Xiamen 361005 China; Amoisonic Inc., Xiamen 361005 China);Reviews of SOC design technology[J];Semiconductor Technology;2001-07
2 Yu Zongguang (Central Research Institute of Huajing Electronic Group Corp,Wuxi 214035);Progress of Integrated Circuit Design Technology[J];SEMICONDUCTOR INFORMATION;1998-05
3 Yu Xiang Xiong Guangze (College of Computer Science and Engineering, UEST of China Chengdu 610054);Top-Down Design Method for SOC Chips[J];Journal of University of Electronic Science and Technology of China;2002-06
4 ZHENG De-chun1,2,YAO Qing-dong2,LI Peng2,YU Qiao-yan2(1.Department of Electronic and Information Engineering,Ningbo University of Technology,Ningbo 315016,China;2.Department of Information Science and Electronic Engineering,Zhejiang University,Hangzhou 310027,China);A functional simulation and testing method based-on Software/Hardware Co-simulation Platform[J];Journal of Circuits and Systems;2008-02
5 YU Zhi-guo, WEI Jing-he (China Electronics Technology Group Corporation No.58 Research Institute, Wuxi 214035, China);Design of the Prototyping Method Based on FPGA for ARM7TDMI Embedded SoC Verification[J];Electronics & Packaging;2007-05
6 LIU Xiao,YANG Jun(Southeast University,Nanjing 210096,China);Assertion Based on Functional Verification of SRAM Controller[J];Electronic Engineer;2007-02
7 Yang Yan Hou Chaohuan(1.State Key of Rail Traffic Control and Safety Laboratory, Beijing Jiaotong University, Beijing 100044, China; 2.Institute of Acoustics, Chinese Academy of Sciences, Beijing 100080, China);Design and Implementation of VLIW Processor System Level Verification Platform[J];Journal of Electronic Measurement and Instrument;2007-02
8 CHEN Ji-cheng,YAO Qing-dong,LIU Peng,SHI Ce (Zhejiang University,Department of Information Science and Electronic Engineering,Hangzhou,Zhejiang 310027,China);MAC Design Based on Standard CMOS Library for DSP System[J];Acta Electronica Sinica;2004-08
9 CHEN Yue Yue and ZHOU Xing Ming (College of Computer Science, National University of Defense Technology, Changsha 410073);An Accurate Branch Prediction Microprocessor model[J];Journal of Computer Research and Development;2003-05
10 ZHANG Lu-Feng, XIONG Zhi-Hui, and LI Si-Kun (Beijing Institute of System Engineering, Beijing 100101) (School of Computer Science, National University of Defense Technology, Changsha 410073);Embedded System Verification and Software Development Environment Based on Virtual Processor[J];Journal of Computer Research and Development;2003-11
【Secondary References】
Chinese Journal Full-text Database 7 Hits
1 YAO Ai-hong,WU Jian,ZHANG Zhi-jun(College of Computer Science & Technology,Harbin Engineering University,Harbin 150001,China);Functional coverage driven verification for TAU/MVBC[J];Application Research of Computers;2011-04
2 LI Xianjie,ZHOU Kuanjiu,WANG Jie,HOU Gang,CUI Kai School of Software Technology,Dalian University of Technology,Dalian,Liaoning 116620,China;Genetic algorithm-based approach to embedded software WCSD test[J];Computer Engineering and Applications;2012-36
3 JI Li-jing1,WANG Guo-feng2,ZHOU Xiao-hui1(1.Department of Automation,Hangzhou Dianzi University,Hangzhou Zhejiang 310018,China; 2.Zhejiang Welfare Lottery Center Department,Hangzhou Zhejiang 310012,China);Function-accurate Reference Model Design for Multi-core Processor[J];Journal of Hangzhou Dianzi University;2013-02
4 LI Xian-jie,ZHOU Kuan-jiu,WANG Jie+,CUI Kai,SU Han(Software School,Dalian University of Technology,Dalian 116620,China);Dynamic WCSD test approach for embedded systems[J];Computer Engineering and Design;2012-07
5 ZHANG Jian-min,ZHANG Jun,XIA Jun,PANG Zheng-bin,XU Wei-xia(College of Computer,National University of Defense Technology,Changsha 410073,China);A Synthesizable Pseudo-Random Functional Verification Method for Cache[J];Journal of Shanghai Jiaotong University;2013-01
6 ZHOU Zhuo(CEC Huada Electronic Design Co.Ltd.,Beijing,100085,China);Logic Verification for 802.11 MAC Based on SV[J];Modern Electronics Technique;2009-18
7 SUN Gang-de,DING Yong,SONG Wen-hua,LUO Xiao-hua,YAN Xiao-lang(Department of Institute of VLSI Design,Zhejiang University,Hangzhou 310027,China);Overview of Simulation-based SoC Functional Verification Technology[J];Journal of Chinese Computer Systems;2012-04
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved