专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20060265676A1 Method and apparatus for verifying specification, and computer product 有权
标题翻译：用于验证规格的方法和装置以及计算机产品
公开(公告)号：US20060265676A1
公开(公告)日：2006-11-23
申请号：US11214848
申请日：2005-08-31
申请人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata
发明人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata
IPC分类号： G06F17/50 , G06F9/44
CPC分类号： G06F8/10 , G06Q20/4012
摘要： An apparatus for verifying a specification includes a use-case extracting unit, a first setting unit, an operation extracting unit, a second setting unit, and a determining unit. The use-case extracting unit extracts an unprocessed use case from specification data. The first setting unit sets a condition based on a precondition, a postcondition, and an invariant condition for the use case. The operation extracting unit selects an event flow of an unprocessed path from the specification data and extracts an unprocessed operation (description) from the event flow selected. The second setting unit sets a precondition and a postcondition for the operation based on the extracted operation (description). The determining unit determines whether the invariant condition is valid.
摘要翻译：用于验证规范的装置包括用例提取单元，第一设置单元，操作提取单元，第二设置单元和确定单元。用例提取单元从规范数据中提取未处理的用例。第一设置单元基于用例的前提条件，后置条件和不变条件设置条件。操作提取单元从指定数据中选择未处理路径的事件流，并从所选择的事件流中提取未处理的操作（描述）。第二设定单元基于提取的操作（描述）设置操作的前提条件和后置条件。确定单元确定不变条件是否有效。

2. 发明授权

US07937680B2 Method and apparatus for verifying specification, and computer product 有权
标题翻译：用于验证规格的方法和装置以及计算机产品
公开(公告)号：US07937680B2
公开(公告)日：2011-05-03
申请号：US11214848
申请日：2005-08-31
申请人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata , Takashi Hasegawa
发明人： Qiang Zhu , Ryosuke Oishi , Tsuneo Nakata , Takashi Hasegawa
IPC分类号： G06F17/50 , G06F21/00 , G06Q20/00
CPC分类号： G06F8/10 , G06Q20/4012
摘要： An apparatus for verifying a specification includes a use-case extracting unit, a first setting unit, an operation extracting unit, a second setting unit, and a determining unit. The use-case extracting unit extracts an unprocessed use case from specification data. The first setting unit sets a condition based on a precondition, a postcondition, and an invariant condition for the use case. The operation extracting unit selects an event flow of an unprocessed path from the specification data and extracts an unprocessed operation (description) from the event flow selected. The second setting unit sets a precondition and a postcondition for the operation based on the extracted operation (description). The determining unit determines whether the invariant condition is valid.
摘要翻译：用于验证规范的装置包括用例提取单元，第一设置单元，操作提取单元，第二设置单元和确定单元。用例提取单元从规范数据中提取未处理的用例。第一设置单元基于用例的前提条件，后置条件和不变条件设置条件。操作提取单元从指定数据中选择未处理路径的事件流，并从所选择的事件流中提取未处理的操作（描述）。第二设定单元基于提取的操作（描述）设置操作的前提条件和后置条件。确定单元确定不变条件是否有效。

3. 发明申请

US20090326906A1 VERIFICATION SUPPORT APPARATUS, VERIFICATION SUPPORT METHOD, AND COMPUTER PRODUCT 审中-公开
标题翻译：验证支持设备，验证支持方法和计算机产品
公开(公告)号：US20090326906A1
公开(公告)日：2009-12-31
申请号：US12372816
申请日：2009-02-18
申请人： Akio MATSUDA , Ryosuke Oishi , Qiang Zhu
发明人： Akio MATSUDA , Ryosuke Oishi , Qiang Zhu
IPC分类号： G06F9/44
CPC分类号： G06F11/3608
摘要： A computer-readable recording medium stores therein a verification support program that causes a computer to execute selecting arbitrarily a use case from a use case diagram for a verification target; extracting a precondition and a postcondition of the use case selected at the selecting; and converting, to a Kripke model, a finite state machine model corresponding to the use case selected at the selecting. The verification support program further causes the computer to execute specifying, based on the precondition and the postcondition extracted at the extracting, a Kripke initial state, a Kripke precondition, and a Kripke postcondition of the Kripke model obtained at the converting; and generating, based on the Kripke precondition and the Kripke postcondition specified at the specifying, a Kripke property of the use case selected at the selecting.
摘要翻译：计算机可读记录介质中存储有一个验证支持程序，该程序使计算机从用于验证目标的用例图中任意选择使用案例; 提取在选择中选择的用例的前提条件和后置条件; 并将Kripke模型转换成与选择时选择的用例对应的有限状态机模型。验证支持程序进一步使计算机根据在提取时提取的前提条件和后置条件执行指定，该转换时获得的Kripke模型的Kripke初始状态，Kripke前提条件和Kripke后置条件; 并根据指定的Kripke前提条件和Kripke后置条件生成在选择中选择的用例的Kripke属性。

4. 发明申请

US20070261012A1 Systematic generation of scenarios from specification sheet 有权
标题翻译：从规格表中系统地生成场景
公开(公告)号：US20070261012A1
公开(公告)日：2007-11-08
申请号：US11543025
申请日：2006-10-05
申请人： Akio Matsuda , Qiang Zhu , Ryosuke Oishi
发明人： Akio Matsuda , Qiang Zhu , Ryosuke Oishi
IPC分类号： G06F17/50
CPC分类号： G06F17/504
摘要： A method of generating a scenario includes generating a specification model by describing a specification in a predetermined descriptive language, extracting a plurality of operations from the specification model, generating a plurality of operation descriptions, each of which corresponds to one of the operations and includes an operation name and a constraint condition, generating at least one cause-effect graph that combines the operations based on the operation descriptions, and extracting as a scenario a series of operations from the cause-effect graph.
摘要翻译：一种产生场景的方法包括通过以预定描述语言描述规范来生成规范模型，从规范模型中提取多个操作，生成多个操作描述，每个操作描述对应于一个操作，并且包括操作名称和约束条件，生成组合基于操作描述的操作的至少一个因果图，并从因果图提取作为场景的一系列操作。

5. 发明授权

US07904843B2 Systematic generation of scenarios from specification sheet 有权
标题翻译：从规格表中系统地生成场景
公开(公告)号：US07904843B2
公开(公告)日：2011-03-08
申请号：US11543025
申请日：2006-10-05
申请人： Akio Matsuda , Qiang Zhu , Ryosuke Oishi
发明人： Akio Matsuda , Qiang Zhu , Ryosuke Oishi
IPC分类号： G06F17/50 , G06F9/45
CPC分类号： G06F17/504
摘要： A method of generating a scenario includes generating a specification model by describing a specification in a predetermined descriptive language, extracting a plurality of operations from the specification model, generating a plurality of operation descriptions, each of which corresponds to one of the operations and includes an operation name and a constraint condition, generating at least one cause-effect graph that combines the operations based on the operation descriptions, and extracting as a scenario a series of operations from the cause-effect graph.
摘要翻译：一种产生场景的方法包括通过以预定描述语言描述规范来生成规范模型，从规范模型中提取多个操作，生成多个操作描述，每个操作描述对应于一个操作，并且包括操作名称和约束条件，生成组合基于操作描述的操作的至少一个因果图，并从因果图提取作为场景的一系列操作。

6. 发明授权

US07788643B2 Method and apparatus for supporting verification of hardware and software, and computer product 有权
标题翻译：支持硬件和软件验证的方法和装置，以及计算机产品
公开(公告)号：US07788643B2
公开(公告)日：2010-08-31
申请号：US11213942
申请日：2005-08-30
申请人： Ryosuke Oishi , Qiang Zhu
发明人： Ryosuke Oishi , Qiang Zhu
IPC分类号： G06F9/44
CPC分类号： G06F11/3672 , G06F11/2273
摘要： An apparatus for supporting a verification for each of a plurality of functions of a target object, includes: a receiving unit that receives a use case diagram that includes a plurality of use cases each of which corresponding to each of the functions; an extracting unit that extracts a relation between the use cases from the use case diagram; and a setting unit that sets a priority of verification for each of the use cases based on the relation.
摘要翻译：一种用于支持目标对象的多个功能中的每一个的验证的装置，包括：接收单元，其接收包括与每个功能对应的多个使用情况的用例图; 提取单元，从用例图提取用例之间的关系; 以及设置单元，其基于该关系为每个用例设置验证的优先级。

7. 发明申请

US20060206760A1 Method and apparatus for supporting verification of hardware and software, and computer product 有权
标题翻译：支持硬件和软件验证的方法和装置，以及计算机产品
公开(公告)号：US20060206760A1
公开(公告)日：2006-09-14
申请号：US11213942
申请日：2005-08-30
申请人： Ryosuke Oishi , Qiang Zhu
发明人： Ryosuke Oishi , Qiang Zhu
IPC分类号： G06F11/00
CPC分类号： G06F11/3672 , G06F11/2273
摘要： An apparatus for supporting a verification for each of a plurality of functions of a target object, includes: a receiving unit that receives a use case diagram that includes a plurality of use cases each of which corresponding to each of the functions; an extracting unit that extracts a relation between the use cases from the use case diagram; and a setting unit that sets a priority of verification for each of the use cases based on the relation.
摘要翻译：一种用于支持目标对象的多个功能中的每一个的验证的装置，包括：接收单元，其接收包括与每个功能对应的多个使用情况的用例图; 提取单元，从用例图提取用例之间的关系; 以及设置单元，其基于该关系为每个用例设置验证的优先级。

8. 发明授权

US08060848B2 Verification support apparatus, verification support method, and computer product 有权
标题翻译：验证支持设备，验证支持方法和计算机产品
公开(公告)号：US08060848B2
公开(公告)日：2011-11-15
申请号：US12495408
申请日：2009-06-30
申请人： Akio Matsuda , Ryosuke Oishi
发明人： Akio Matsuda , Ryosuke Oishi
IPC分类号： G06F17/50 , G06F9/455 , G06F9/44
CPC分类号： G06F17/5031
摘要： A computer-readable recording medium stores therein a verification support program that causes a computer to execute receiving a hardware description of a sequential circuit to be verified and a timing specification that indicates a timing constraint in the hardware description; converting the hardware description into a control flow graph that expresses a flow of control in the sequential circuit; indentifying, from the control flow graph and as a combination of conditional branch descriptions having a hierarchical relation, conditional branch descriptions that are connected in parallel; extracting, from among identified combinations of conditional branch descriptions, a combination having a potential to satisfy specified conditions; creating a simulation program that, at a timing satisfying the timing specification, causes the conditional branch descriptions included in the extracted combination to satisfy the specified conditions; and outputting, as assertion information of the sequential circuit, the simulation program created at the creating.
摘要翻译：计算机可读记录介质中存储有使计算机执行接收待验证的顺序电路的硬件描述的验证支持程序和指示硬件描述中的时序约束的定时指定; 将硬件描述转换成表示顺序电路中的控制流程的控制流程图; 从控制流程图和作为具有分层关系的条件分支描述的组合来识别，并行连接的条件分支描述; 从所识别的条件分支描述的组合中提取具有满足指定条件的潜力的组合; 创建一个模拟程序，其在满足定时规范的定时使得提取的组合中包括的条件分支描述满足规定的条件; 作为顺序电路的断言信息输出在创建时创建的仿真程序。

9. 发明授权

US07984403B2 Verification supporting system 有权
标题翻译：验证支持系统
公开(公告)号：US07984403B2
公开(公告)日：2011-07-19
申请号：US12359105
申请日：2009-01-23
申请人： Ryosuke Oishi , Akio Matsuda , Koichiro Takayama , Tsuneo Nakata
发明人： Ryosuke Oishi , Akio Matsuda , Koichiro Takayama , Tsuneo Nakata
IPC分类号： G06F17/50
CPC分类号： G06F17/5022 , G06F17/504
摘要： A verification target register to be verified is specified from a configuration of a verification target circuit, and patterns requiring verification are extracted as a coverage standard with regard to the specified verification target register. When the patterns are extracted, a DIRW matrix is prepared to indicate possibly occurring state transitions among four states Declare, Initialize, Read, and Write in the register included in the verification target circuit, and used to decide two coverage standards, a matrix coverage standard and an implementation coverage standard.
摘要翻译：从验证目标电路的配置指定要验证的验证目标寄存器，并且提取需要验证的模式作为关于指定验证目标寄存器的覆盖标准。当提取模式时，准备一个DIRW矩阵，以指示包含在验证目标电路中的寄存器中的四个状态中声明，初始化，读取和写入中的可能发生的状态转换，并用于确定两个覆盖标准，矩阵覆盖标准和实施覆盖标准。

10. 发明申请

US20080120581A1 Computer product for supporting design and verification of integrated circuit 有权
标题翻译：用于支持集成电路设计和验证的计算机产品
公开(公告)号：US20080120581A1
公开(公告)日：2008-05-22
申请号：US11896301
申请日：2007-08-30
申请人： Ryosuke Oishi , Akio Matsuda
发明人： Ryosuke Oishi , Akio Matsuda
IPC分类号： G06F17/50
CPC分类号： G06F17/5045
摘要： Design and verification support related to integrated circuits that includes acquiring a first use case diagram representing a function of an object subject to design and verification and an activity diagram representing a processing procedure of the object; analyzing a structure of the activity diagram acquired at the acquiring step; converting the activity diagram to a second use case diagram representing a function of the object, based on the structure analyzed at the analyzing; verifying uniformity of the first use case diagram and the second use case diagram; and outputting a verification result obtained at the verifying uniformity.
摘要翻译：与集成电路相关的设计和验证支持，其包括获取表示被设计和验证的对象的功能的第一用例图和表示对象的处理过程的活动图; 分析在获取步骤中获取的活动图的结构; 基于分析时分析的结构，将活动图转换为表示对象的功能的第二用例图; 验证第一用例图和第二用例图的均匀性; 并输出在验证均匀性下获得的验证结果。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式