• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Shen Haihua, Wang Pengyu, Wei Wenli, Guo Qi. A Coverage Directed Test Generation Platform for Microprocessors Using Genetic Approach[J]. Journal of Computer Research and Development, 2009, 46(10): 1612-1625.
Citation: Shen Haihua, Wang Pengyu, Wei Wenli, Guo Qi. A Coverage Directed Test Generation Platform for Microprocessors Using Genetic Approach[J]. Journal of Computer Research and Development, 2009, 46(10): 1612-1625.

A Coverage Directed Test Generation Platform for Microprocessors Using Genetic Approach

More Information
  • Published Date: October 14, 2009
  • Due to the increasing system complexity of the hardware design and stringent time-to-market constraint, how to generate high quality test cases to meet the requirement of functional verification is still a major challenge in a typical design cycle. Random test generation technology is one of the most important methods for the verification of modern VLSI. Specifically, coverage directed test generation (CDG), which provides an efficient way for closing a feedback loop from the coverage domain back to the generator that produces potential high quality stimuli to DUV, is the main workhorse in todays random test generation study. Genetic algorithms are intelligent approach to automate the generation of effective solution for black-box optimization without requirements of experience knowledge and resources. In this paper, the authors present GA based CDG, a coverage directed test generation platform, where directives are continuously updated according to feedback based on present functional coverage reports, for the full-chip level verification of microprocessors based on deep discussion and analysis of coverage directed test generation technology using genetic approach. CDG has been taken into practice at the ICT for the verification of a general RISC microprocessor—GODSONI. Experimental results show that CDG can apparently accelerate the verification process and improve the reached coverage from 83.3% to 91.7% compared with original CRPG after about 600 million instructions have been simulated, which implies that verification efficiency is greatly improved and skilled manpower is cut down dramatically.
  • Related Articles

    [1]Chen Zhiqiang, Zhou Hongwei, Feng Quanyou, Deng Rangyu. Design and Implementation of Configurable Cache Coherence Protocol for Multi-Core Processor[J]. Journal of Computer Research and Development, 2021, 58(6): 1166-1175. DOI: 10.7544/issn1000-1239.2021.20210174
    [2]Hou Pengpeng, Zhang Heng, Wu Yanjun, Yu Jiageng, Tai Yang, Miao Yuxia. Kernel Configuration Infographic Based on Multi-Label and Its Application[J]. Journal of Computer Research and Development, 2021, 58(3): 651-667. DOI: 10.7544/issn1000-1239.2021.20200186
    [3]Wang Tao, Chen Wei, Li Juan, Liu Shaohua, Su Lingang, Zhang Wenbo. Association Mining Based Consistent Service Configuration[J]. Journal of Computer Research and Development, 2020, 57(1): 188-201. DOI: 10.7544/issn1000-1239.2020.20190079
    [4]Wu Weiguo, Wang Chaohui, Wang Jinyu, Nie Shiqiang, Hu Zhuang. MH-RLE: A Compression Algorithm for Dynamic Reconfigurable System Configuration Files Based on Run-Length Coding[J]. Journal of Computer Research and Development, 2018, 55(5): 1049-1064. DOI: 10.7544/issn1000-1239.2018.20170015
    [5]Shen Jianliang, Li Sikun, Liu Lei, Wang Guanwu, Wang Xin, Liu Qinrang. Hierarchical Configuration Memory Design for Coarse-Grained Reconfigurable SoC[J]. Journal of Computer Research and Development, 2017, 54(5): 1121-1129. DOI: 10.7544/issn1000-1239.2017.20150889
    [6]Wang Cong, Yuan Ying, Peng Sancheng, Wang Xingwei, Wang Cuirong, Wan Cong. Fair Virtual Network Embedding Algorithm with Topology Pre-Configuration[J]. Journal of Computer Research and Development, 2017, 54(1): 212-220. DOI: 10.7544/issn1000-1239.2017.20150785
    [7]Li Yong, Wang Zhiying, Zhao Xuemi, and Yue Hong. Design of Application Specific Instruction-Set Processors Directed by Configuration Stream Driven Computing Architecture[J]. Journal of Computer Research and Development, 2007, 44(4): 714-721.
    [8]Fan Yibo, Zeng Xiaoyang, and Yu Yu. VLSI Design of a High-Speed RSA Crypto-Coprocessor with Reconfigurable Architecture[J]. Journal of Computer Research and Development, 2006, 43(6): 1076-1082.
    [9]Gu Haiyun, Li Li, Xu Juyan, Gao Minglun. Lossless Configuration Bitstream Compression for Virtex FPGAs[J]. Journal of Computer Research and Development, 2006, 43(5): 940-945.
    [10]Tian Junfeng, Liu Yuling, Du Ruizhong. The Model and Adaptive Configuration Management Strategy for a Distributed Database Server System[J]. Journal of Computer Research and Development, 2005, 42(1): 126-133.

Catalog

    Article views (808) PDF downloads (882) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return