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.展开更多
In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equat...In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equations), and find all consistent fault patterns based on the equation model. We can also find all fault patterns, in which the fault node numbers are less than or equal to t without supposing t-diagnosable. It is not impossible for all graphic models.展开更多
The overuse of clinical laboratory services has been documented for many years. This overuse use does not contribute to the quality of medical care, does not shorten hospital stay, nor reduce mortality. The utilizatio...The overuse of clinical laboratory services has been documented for many years. This overuse use does not contribute to the quality of medical care, does not shorten hospital stay, nor reduce mortality. The utilization of diagnostic laboratories has increased over the last decade around the world. This increased laboratory use is appropriate if it allows accurate diagnoses to be made, ideal treatment to be identified and monitored, accurate prognoses to be established, and patients’ hospital stays to be shortened. Thus, improving the appropriateness of testing behavior and reducing the number of laboratory tests have been recognized as essential parts of quality improvement program. In this study, the effectiveness of a computer-based system in improving the laboratory test-ordering in a general hospital was investigated. The study was conducted through four stages, the preparation stage, the pre-intervention stage, the post-intervention 1) stage and post-intervention 2) stage. Guideline and computer system were developed during preparation stage. Medical records were reviewed against guideline recommendations before any intervention during the pre-intervention stage, after guideline dissemination through educational workshops during the post intervention 1) stage, and after implementation of the computer system with the new requesting form during the post intervention 2) stage. The study revealed that the computer-based system achieved a statistically significant increase in the percentage of appropriate use from 44.6% in the post-intervention 1) stage to 55.6%, and a statistically significant increase in the compliance with guideline by prescriber as well as increased in guideline conformity rate from 16.7% in the post-intervention 1) stage to 32.5% in the post-intervention 2) stage, and decreased in the percentage of prescribers whose level was unsatisfactory from 85.4% the post-intervention 1) stage to 66.7% in the post-intervention 2) stage.展开更多
本文提出了一种基于晶体管-晶体管逻辑(Transistor-Transistor Logic,TTL)协议的集成电路系统级测试系统,旨在解决复杂芯片测试中测试环境搭建及与分选机通讯的难题,同时满足市面上高端、特殊的集成电路测试专属化的需求。该系统由接口...本文提出了一种基于晶体管-晶体管逻辑(Transistor-Transistor Logic,TTL)协议的集成电路系统级测试系统,旨在解决复杂芯片测试中测试环境搭建及与分选机通讯的难题,同时满足市面上高端、特殊的集成电路测试专属化的需求。该系统由接口模块、电源模块、待测芯片连接模块、测试选择模块以及显示模块协同工作,实现了对多种集成电路的灵活测试,其工作流程为:①测试系统先向分选机发送开始测试信号,分选机将待测芯片从入料盘取出置入测试座中;②通过与测试系统通讯启动测试,测试系统对待测芯片进行测试并将测试结果发送至分选机端;③分选机根据测试系统反馈的结果将芯片放入不同的下料盘,完成芯片的良品与不良品分选。该集成电路系统级测试系统,突破了传统自动测试设备(Automatic Test Equipment,ATE)测试的限制,确保芯片在实际应用场景中与其他硬件、软件协同工作时的稳定性,显著提升了测试的灵活性与准确性。展开更多
基金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.
基金Project supported by the National Natural Science Foundation of China! (No.69973016).
文摘In this paper we propose an equation model of system-level fault diagnoses, and construct corresponding theory and algorithms. People can turn any PMC model on ex-test into an equivalent equation (or a system of equations), and find all consistent fault patterns based on the equation model. We can also find all fault patterns, in which the fault node numbers are less than or equal to t without supposing t-diagnosable. It is not impossible for all graphic models.
文摘The overuse of clinical laboratory services has been documented for many years. This overuse use does not contribute to the quality of medical care, does not shorten hospital stay, nor reduce mortality. The utilization of diagnostic laboratories has increased over the last decade around the world. This increased laboratory use is appropriate if it allows accurate diagnoses to be made, ideal treatment to be identified and monitored, accurate prognoses to be established, and patients’ hospital stays to be shortened. Thus, improving the appropriateness of testing behavior and reducing the number of laboratory tests have been recognized as essential parts of quality improvement program. In this study, the effectiveness of a computer-based system in improving the laboratory test-ordering in a general hospital was investigated. The study was conducted through four stages, the preparation stage, the pre-intervention stage, the post-intervention 1) stage and post-intervention 2) stage. Guideline and computer system were developed during preparation stage. Medical records were reviewed against guideline recommendations before any intervention during the pre-intervention stage, after guideline dissemination through educational workshops during the post intervention 1) stage, and after implementation of the computer system with the new requesting form during the post intervention 2) stage. The study revealed that the computer-based system achieved a statistically significant increase in the percentage of appropriate use from 44.6% in the post-intervention 1) stage to 55.6%, and a statistically significant increase in the compliance with guideline by prescriber as well as increased in guideline conformity rate from 16.7% in the post-intervention 1) stage to 32.5% in the post-intervention 2) stage, and decreased in the percentage of prescribers whose level was unsatisfactory from 85.4% the post-intervention 1) stage to 66.7% in the post-intervention 2) stage.
文摘本文提出了一种基于晶体管-晶体管逻辑(Transistor-Transistor Logic,TTL)协议的集成电路系统级测试系统,旨在解决复杂芯片测试中测试环境搭建及与分选机通讯的难题,同时满足市面上高端、特殊的集成电路测试专属化的需求。该系统由接口模块、电源模块、待测芯片连接模块、测试选择模块以及显示模块协同工作,实现了对多种集成电路的灵活测试,其工作流程为:①测试系统先向分选机发送开始测试信号,分选机将待测芯片从入料盘取出置入测试座中;②通过与测试系统通讯启动测试,测试系统对待测芯片进行测试并将测试结果发送至分选机端;③分选机根据测试系统反馈的结果将芯片放入不同的下料盘,完成芯片的良品与不良品分选。该集成电路系统级测试系统,突破了传统自动测试设备(Automatic Test Equipment,ATE)测试的限制,确保芯片在实际应用场景中与其他硬件、软件协同工作时的稳定性,显著提升了测试的灵活性与准确性。
