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 SCR(Software Cost Reduction)requirements method is aneffective method for specifying software system requirements.This paper presents aformal model analyzing SCR-style requirements.The analysis model mainly applie...The SCR(Software Cost Reduction)requirements method is aneffective method for specifying software system requirements.This paper presents aformal model analyzing SCR-style requirements.The analysis model mainly appliesstate translation rules,semantic computing rules and attributes to define formal se-mantics of a tabular notation in the SCR requirements method,and may be used toanalyze requirements specifications to be specified by the SCR requirements method.Using a simple example,this paper introduces how to analyze consistency and com-pleteness of requirements specifications.展开更多
基金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 work of this paper is supported by the National Natural Science Foundation of China.
文摘The SCR(Software Cost Reduction)requirements method is aneffective method for specifying software system requirements.This paper presents aformal model analyzing SCR-style requirements.The analysis model mainly appliesstate translation rules,semantic computing rules and attributes to define formal se-mantics of a tabular notation in the SCR requirements method,and may be used toanalyze requirements specifications to be specified by the SCR requirements method.Using a simple example,this paper introduces how to analyze consistency and com-pleteness of requirements specifications.
