文献检索-宁波市创意产业特色资源库

限定检索结果

检索条件"作者=法特穆加瓦河瑞"

共 2 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

视图：

排序：

时间自动机的事务级形式验证(英文): 收藏
分享
引用; 《上海师范大学学报（自然科学版）》2010年第5期39卷 462-471页; 作者：阿米拉里高弗兰尼法特穆加瓦河瑞哈米德诺瑞在那拉贝定纳瓦比德黑兰大学电子计算机工程系; 提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UP...; 提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UPPAAL验证工具在系统的定时自动机表示上针对这些故障被验证.最后通过一个实例研究说明该方法的有效性.; 来源：详细信息评论

多层次测试包:一种用于系统层设计的C/C++门组件层故障模拟的测试包(英文): 收藏
分享
引用; 《上海师范大学学报（自然科学版）》2010年第5期39卷 472-477页; 作者：所美也萨迪格可汗法特穆加瓦河瑞斯纳默哈莫蒂在那拉贝定纳瓦比德黑兰大学ECE系CAD研究小组伊朗科学技术大学CE系; 提出了一种多层次测试包(MLT)用来测试系统层的设计.该包可以被用来测试由门组件层C++代码和C++复杂函数构成的混合设计.电路部件在高功能层上被描述,而C++函数被用来描述门组件层的部件.测试工具可用高层C++函数的模拟来用于门组件层部...; 提出了一种多层次测试包(MLT)用来测试系统层的设计.该包可以被用来测试由门组件层C++代码和C++复杂函数构成的混合设计.电路部件在高功能层上被描述,而C++函数被用来描述门组件层的部件.测试工具可用高层C++函数的模拟来用于门组件层部件.使用这个包避免了将被测试部件转换成硬件描述语言,同时也提高了测试应用程序的模拟速度.; 来源：详细信息评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页<< <1> >>

聚类工具回到顶部