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.展开更多
The growing complexity of integrated circuits (ICs) is driving the trend of IC testing towards testing based on behavioral descriptions of register-transfer level (RTL). A behavioral description contains an algorithmi...The growing complexity of integrated circuits (ICs) is driving the trend of IC testing towards testing based on behavioral descriptions of register-transfer level (RTL). A behavioral description contains an algorithmic specification of functionality of design. It may contain little or even no information about the design’s cycle-by-cycle behavior or structural implementation. However, it usually has an interior variable to lead the process of its functional phases. This interior variable is named phase variable. The functional behavior of a digital circuit changes according to different values of a phase variable. By analyzing some ITC99 benchmark circuits, this paper presents a way to generate tests for a circuit by tracing the value change of a phase variable in the circuit.展开更多
为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把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值等预测方法纳入到中心运行。中心的软件系统既能够完成回顾性预测检验,又能够实现前瞻性预测分析,可为现有预测方法提供运行环境和技术支持。展开更多
The phase composition, phase transition and phase structure transformation of the wire-cut section of functionally graded WC-Co cemented carbide with dual phase structure were investigated by XRD phase analysis. It is...The phase composition, phase transition and phase structure transformation of the wire-cut section of functionally graded WC-Co cemented carbide with dual phase structure were investigated by XRD phase analysis. It is shown that the composition of η phase in the core zone is Co_3W_3C (M_6 C type). The structure of cobalt based solid solution binder phase is fcc type. At the cooling stage of the sintering process, the phase transition of η phase, i.e. M_6C→M_12C and the martensitic phase transition of the cobalt based solid solution binder phase, i.e. fcc→hcp are suppressed, which facilitates the strengthening of the alloy. Because the instantaneous temperature of the discharge channel is as high as 10 000 ℃ during the wire cutting process, the processed surface is oxidized. Nevertheless, the oxide layer thickness is in micro grade. In the oxide film, η phase is decomposed into W_2C and CoO, and cobalt based solid solution binder is selectively oxidized, while WC remains stable due to the existence of carbon containing liquid organic cutting medium.展开更多
基金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.
文摘The growing complexity of integrated circuits (ICs) is driving the trend of IC testing towards testing based on behavioral descriptions of register-transfer level (RTL). A behavioral description contains an algorithmic specification of functionality of design. It may contain little or even no information about the design’s cycle-by-cycle behavior or structural implementation. However, it usually has an interior variable to lead the process of its functional phases. This interior variable is named phase variable. The functional behavior of a digital circuit changes according to different values of a phase variable. By analyzing some ITC99 benchmark circuits, this paper presents a way to generate tests for a circuit by tracing the value change of a phase variable in the circuit.
文摘为提升地震预测方法评价的标准化和应用的规范化,依托国家重点研发计划尝试把CSEP(Collaboratory for the Study of Earthquake Predictability)移植到中国,建立中国CSEP检验中心。自主研发了加卸载响应比(LURR)、地壳振动、态矢量和地震综合概率预测模块;引进了国外的图像信息(PI)、相对强度(RI)、传染型余震序列(ETAS)预测模型并完成模块研发;遴选出Molchan检验、R值评分、N值检验和ROC检验等国际认可的地震预报效能评价方法,以集成方式搭建运行平台。作为开放性检验中心,通过不断纳入新的算法,着力提升地震预测能力、推进地震预测实践,将地震预报业务中常用的地震发生率指数、小震调制比、b值等预测方法纳入到中心运行。中心的软件系统既能够完成回顾性预测检验,又能够实现前瞻性预测分析,可为现有预测方法提供运行环境和技术支持。
基金Projects(50323008, 50574104) supported by the National Natural Science Foundation of ChinaProject (04JJ3084) supported by the Natural Science Foundation of Hunan Province, China
文摘The phase composition, phase transition and phase structure transformation of the wire-cut section of functionally graded WC-Co cemented carbide with dual phase structure were investigated by XRD phase analysis. It is shown that the composition of η phase in the core zone is Co_3W_3C (M_6 C type). The structure of cobalt based solid solution binder phase is fcc type. At the cooling stage of the sintering process, the phase transition of η phase, i.e. M_6C→M_12C and the martensitic phase transition of the cobalt based solid solution binder phase, i.e. fcc→hcp are suppressed, which facilitates the strengthening of the alloy. Because the instantaneous temperature of the discharge channel is as high as 10 000 ℃ during the wire cutting process, the processed surface is oxidized. Nevertheless, the oxide layer thickness is in micro grade. In the oxide film, η phase is decomposed into W_2C and CoO, and cobalt based solid solution binder is selectively oxidized, while WC remains stable due to the existence of carbon containing liquid organic cutting medium.
