Document
拖动滑块完成拼图
首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

电路可控制性的分析方法、装置、电子设备、存储介质及程序产品 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:英诺达(成都)电子科技有限公司

摘要:本申请提供一种电路可控制性的分析方法、装置、电子设备、存储介质及程序产品,涉及集成电路技术领域。电路可控制性的分析方法包括:确定目标集成电路的可控制性的分析起点;创建工作集合,并将所述分析起点作为驱动对象添加到所述工作集合中;从所述工作集合中取出一个驱动对象作为目标驱动对象,并确定所述目标驱动对象的可控性结果;针对与所述目标驱动对象连接的每一目标接收对象执行预设处理,其中,在针对所有目标接收对象执行完所述预设处理之后,返回执行所述从所述工作集合中取出一个驱动对象作为目标驱动对象,并确定所述目标驱动对象的可控性结果。根据本申请,能够高效准确地对电路可控制性进行静态分析。

主权项:1.一种电路可控制性的分析方法,其特征在于,包括:确定目标集成电路的可控制性的分析起点;创建工作集合,并将所述分析起点作为驱动对象添加到所述工作集合中;从所述工作集合中取出一个驱动对象作为目标驱动对象,并确定所述目标驱动对象的可控性结果;针对与所述目标驱动对象连接的每一目标接收对象执行预设处理,其中,在针对所有目标接收对象执行完所述预设处理之后,返回执行所述从所述工作集合中取出一个驱动对象作为目标驱动对象,并确定所述目标驱动对象的可控性结果;其中,所述预设处理包括:根据所述目标驱动对象的可控性结果,得到所述目标接收对象的可控性结果,并判断所述目标接收对象所在的目标逻辑单元的预设类型输入引脚的可控性结果是否已全部得到;如果已全部得到,则将所述目标逻辑单元的输出引脚作为驱动对象添加到所述工作集合;其中,对象的可控性结果表示:是否可控制该对象处于逻辑值0、是否可控制该对象处于逻辑值1。

全文数据:

权利要求:

百度查询: 英诺达(成都)电子科技有限公司 电路可控制性的分析方法、装置、电子设备、存储介质及程序产品

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。