[发明专利]应用逻辑及其验证方法和构成方法有效
| 申请号： | 201710271230.5 | 申请日： | 2017-04-18 |
| 公开（公告）号： | CN107506509B | 公开（公告）日： | 2020-08-07 |
| 发明（设计）人： | 本谷彻;白石雅裕;西川悟史;山本圭辅;鸟羽忠信;上薗巧;原田英雄;菅野雄介 | 申请（专利权）人： | 株式会社日立制作所 |
| 主分类号： | G06F30/20 | 分类号： | G06F30/20;G06F30/327 |
| 代理公司： | 北京银龙知识产权代理有限公司 11243 | 代理人： | 范胜杰;曹鑫 |
| 地址： | 日本*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及应用逻辑及其验证方法和构成方法，提供与SIL4相当的高安全性的应用逻辑。该应用逻辑的验证方法具备：一个或多个宏逻辑，进行规定的运算；宏运算控制部，为了使宏逻辑进行运算而向宏逻辑指示开始运算；和运算数据存储区域，对数据进行存储。该应用逻辑分别针对宏逻辑、宏运算控制部、运算数据存储区域，进行基于形式验证语言的属性描述的静态验证，针对宏逻辑的至少一个，还进行基于仿真的动态验证。 | ||
| 搜索关键词： | 应用 逻辑 及其 验证 方法 构成 | ||
【主权项】：
一种应用逻辑的验证方法，具备：一个或多个宏逻辑，进行规定的运算；宏运算控制部，为了使所述宏逻辑进行所述运算而向所述宏逻辑指示开始所述运算；和运算数据存储区域，对数据进行存储，所述应用逻辑的验证方法的特征在于，分别针对所述宏逻辑、所述宏运算控制部、所述运算数据存储区域，进行基于形式验证语言的属性描述的静态验证，针对所述宏逻辑的至少一个，还进行基于仿真的动态验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于株式会社日立制作所，未经株式会社日立制作所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710271230.5/，转载请声明来源钻瓜专利网。
- 上一篇：一种顶锤直线度和圆度测量工具
- 下一篇：车辆轴锥度检测用辅助器具及方法
