等效性验证装置和等效性验证程序[发明专利]

专利名称:等效性验证装置和等效性验证程序专利类型:发明专利
发明人:米持一树,矶田诚
申请号:CN201780089570.4
申请日:20170419
公开号:CN110520850A
公开日:
20191129
专利内容由知识产权出版社提供
摘要:生成部(110)生成用于检查第1函数与第2函数的等效性的检查封装器。检查封装器包含用于反复调用第1函数和第2函数的循环语句。检查部(130)使用检查封装器进行等效性检查,由此,按照调用了第1函数和所述第2函数的次数,判定第1函数与第2函数的等效性。
申请人:三菱电机株式会社
地址:日本东京都
国籍:JP
代理机构:北京三友知识产权代理有限公司

本文发布于:2024-09-23 01:34:16,感谢您对本站的认可!

本文链接:https://www.17tex.com/tex/2/425897.html

版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系,我们将在24小时内删除。

标签:函数   等效   检查   封装
留言与评论(共有 0 条评论)
   
验证码:
Copyright ©2019-2024 Comsenz Inc.Powered by © 易纺专利技术学习网 豫ICP备2022007602号 豫公网安备41160202000603 站长QQ:729038198 关于我们 投诉建议