首页> 外国专利> METHOD OF SUPPORTING DEVELOPMENT OF VERIFICATION PROPERTY, AND DEVICE FOR SUPPORTING DEVELOPMENT OF VERIFICATION PROPERTY

METHOD OF SUPPORTING DEVELOPMENT OF VERIFICATION PROPERTY, AND DEVICE FOR SUPPORTING DEVELOPMENT OF VERIFICATION PROPERTY

机译：一种支持验证财产发展的方法及一种支持验证财产发展的装置

页面导航

摘要
著录项
相似文献

摘要

PROBLEM TO BE SOLVED: To provide a method of supporting development of verification properties for improving reliability of readily verifying the properties easily at low cost, and to provide a device for supporting development of verification properties.;SOLUTION: In the method of supporting development of verification properties for supporting development of verification properties, a group setting procedure for grouping the verification properties, and a determination procedure for determining whether prescribed conditions verified in each verification property become non-satisfied, with the same timing in the verification properties of the same group.;COPYRIGHT: (C)2011,JPO&INPIT

机译：解决的问题：提供一种支持验证属性的开发的方法，以提高容易以低成本容易地验证属性的可靠性，并提供一种支持验证属性的开发的设备。用于支持验证属性的开发的验证属性，用于对验证属性进行分组的组设置过程以及用于确定在每个验证属性中验证的规定条件是否不满足的确定过程，并且在同一组的验证属性中具有相同的时间。;版权：（C）2011，日本特许厅和INPIT

著录项

公开/公告号JP2011070479A

专利类型
公开/公告日2011-04-07

原文格式PDF
申请/专利权人 FUJITSU SEMICONDUCTOR LTD;
展开▼

申请/专利号JP20090222098
发明设计人 OTSUKA MASATO;SHOJI MINORU;
展开▼

申请日2009-09-28
分类号G06F17/50;
国家 JP
入库时间 2022-08-21 18:20:55

相似文献

专利
外文文献
中文文献