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.展开更多
长春市是国家新型城镇化综合试点城市,识别长春市中心城区功能,针对当前存在的问题提出对策建议,对城市空间的优化与协调具有重要意义。以兴趣点(Point of Interest,POI)数据及开放街道地图(Open Street Map,OSM)数据为基础,结合核密度...长春市是国家新型城镇化综合试点城市,识别长春市中心城区功能,针对当前存在的问题提出对策建议,对城市空间的优化与协调具有重要意义。以兴趣点(Point of Interest,POI)数据及开放街道地图(Open Street Map,OSM)数据为基础,结合核密度分析、实地调查验证等方法,识别长春市中心城区城市功能类型。结果表明:单一功能区中,商业功能区数量最多,居住功能区最少;主导—混合功能区中的商业主导功能区及交通主导功能区形成对商业聚集区与轨道交通系统的重要补充;细分—混合功能区特征显示功能混合程度从市中心向周边逐渐加大。经验证,城市功能识别结果符合长春市实际,由此提出对策建议:未来长春市中心城区应注重多中心发展格局,并加强绿地空间和公共服务设施建设。展开更多
基金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.
文摘长春市是国家新型城镇化综合试点城市,识别长春市中心城区功能,针对当前存在的问题提出对策建议,对城市空间的优化与协调具有重要意义。以兴趣点(Point of Interest,POI)数据及开放街道地图(Open Street Map,OSM)数据为基础,结合核密度分析、实地调查验证等方法,识别长春市中心城区城市功能类型。结果表明:单一功能区中,商业功能区数量最多,居住功能区最少;主导—混合功能区中的商业主导功能区及交通主导功能区形成对商业聚集区与轨道交通系统的重要补充;细分—混合功能区特征显示功能混合程度从市中心向周边逐渐加大。经验证,城市功能识别结果符合长春市实际,由此提出对策建议:未来长春市中心城区应注重多中心发展格局,并加强绿地空间和公共服务设施建设。
