首页> 外国专利> ABSTRACTION DEVICE AND VERIFICATION DEVICE OF CIRCUIT DESCRIPTION, ABSTRACTION PROGRAM AND VERIFICATION PROGRAM OF THE CIRCUIT DESCRIPTION, AND ABSTRACTION METHOD AND VERIFICATION METHOD OF THE CIRCUIT DESCRIPTION

ABSTRACTION DEVICE AND VERIFICATION DEVICE OF CIRCUIT DESCRIPTION, ABSTRACTION PROGRAM AND VERIFICATION PROGRAM OF THE CIRCUIT DESCRIPTION, AND ABSTRACTION METHOD AND VERIFICATION METHOD OF THE CIRCUIT DESCRIPTION

机译：电路描述的抽象装置和验证装置，电路描述的抽象程序和验证程序，以及电路描述的抽象方法和验证方法

页面导航

摘要
著录项
相似文献

摘要

PPROBLEM TO BE SOLVED: To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique. PSOLUTION: A control device 11 sets a discrimination condition when discriminating whether a path is set as a verification target to a plurality of paths prescribed by a plurality of states included in a logic model shown by specification data 24 of the circuit description and state transition between the respective states based on input operation from an input device 12. By inspecting the state transition in each path to the plurality of paths based on the discrimination condition, a non-verifying path excluded from the verification target by the verification program 22 and a verifying path set as the verification target are discriminated, and the plurality of paths are stored while the non-verifying path and the verifying path can be identified based on a discrimination result thereof. PCOPYRIGHT: (C)2010,JPO&INPIT

机译：

要解决的问题：提供电路描述的抽象装置和验证装置，电路描述的抽象程序和验证程序，以及电路描述的抽象方法和验证方法，以方便验证电路描述的转换成正式规范，其中程序的描述内容可以通过正式技术来验证。解决方案：控制装置11在将路径是否被设置为由电路描述的规格数据24所示的逻辑模型中包括的逻辑模型所包括的多个状态所指定的多个路径所确定的多个路径时，设置区分条件，并且基于来自输入设备12的输入操作，在各个状态之间的状态转换。通过基于判别条件检查在到多条路径的每条路径中的状态转换，验证程序22从验证对象中排除了非验证路径。区分被设置为验证目标的验证路径和验证路径，并且存储多个路径，同时可以基于其鉴别结果来识别非验证路径和验证路径。

版权：（C）2010，日本特许厅＆INPIT 展开▼

著录项

公开/公告号JP2010079432A

专利类型
公开/公告日2010-04-08

原文格式PDF
申请/专利权人 AISIN AW CO LTD;
展开▼

申请/专利号JP20080244628
发明设计人 KUBO TAKAYUKI;
展开▼

申请日2008-09-24
分类号G06F11/36;G06F17/50;G06F9/44;
国家 JP
入库时间 2022-08-21 19:01:21

相似文献

专利
外文文献
中文文献