In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把CSEP(Collaboratory for the Study of Earthquake Predictability)移植到中国,建立中国CSEP检验中心。自主研发了加卸载响应比(LURR)、地壳振动、态矢量和地...为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把CSEP(Collaboratory for the Study of Earthquake Predictability)移植到中国,建立中国CSEP检验中心。自主研发了加卸载响应比(LURR)、地壳振动、态矢量和地震综合概率预测模块;引进了国外的图像信息(PI)、相对强度(RI)、传染型余震序列(ETAS)预测模型并完成模块研发;遴选出Molchan检验、R值评分、N值检验和ROC检验等国际认可的地震预报效能评价方法,以集成方式搭建运行平台。作为开放性检验中心,通过不断纳入新的算法,着力提升地震预测能力、推进地震预测实践,将地震预报业务中常用的地震发生率指数、小震调制比、b值等预测方法纳入到中心运行。中心的软件系统既能够完成回顾性预测检验,又能够实现前瞻性预测分析,可为现有预测方法提供运行环境和技术支持。展开更多
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把CSEP(Collaboratory for the Study of Earthquake Predictability)移植到中国,建立中国CSEP检验中心。自主研发了加卸载响应比(LURR)、地壳振动、态矢量和地震综合概率预测模块;引进了国外的图像信息(PI)、相对强度(RI)、传染型余震序列(ETAS)预测模型并完成模块研发;遴选出Molchan检验、R值评分、N值检验和ROC检验等国际认可的地震预报效能评价方法,以集成方式搭建运行平台。作为开放性检验中心,通过不断纳入新的算法,着力提升地震预测能力、推进地震预测实践,将地震预报业务中常用的地震发生率指数、小震调制比、b值等预测方法纳入到中心运行。中心的软件系统既能够完成回顾性预测检验,又能够实现前瞻性预测分析,可为现有预测方法提供运行环境和技术支持。
