[发明专利]经由布尔可满足性的设备引脚复用配置求解和代码生成有效
| 申请号： | 201510145534.8 | 申请日： | 2015-03-30 |
| 公开（公告）号： | CN104965937B | 公开（公告）日： | 2020-01-14 |
| 发明（设计）人： | D·R·P·萨尔;M·S·多尔;P·I·S·马歇尔;P·A·金里奇;S·F·庞;V·X·杨;A·E·沃特森;S·D·克莱恩斯 | 申请（专利权）人： | 德克萨斯仪器股份有限公司 |
| 主分类号： | G06F30/394 | 分类号： | G06F30/394;G06F30/398 |
| 代理公司： | 11245 北京纪凯知识产权代理有限公司 | 代理人： | 赵蓉民 |
| 地址： | 美国德*** | 国省代码： | 美国;US |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及经由布尔可满足性的设备引脚复用配置求解和代码生成。本发明是用于集成电路输入/输出设计的信号输入/输出设计工具。连接内部信号和外部线路的至少一个多路复用器的连接能力被表达为第一组布尔表达式(202)。内部信号和外部线路之间的期望连接被表达为由设计者提供(203)。被编程的通用计算机将所述期望连接表达为第二组布尔表达式并且确定所述第一组布尔表达式和所述第二组布尔表达式是否是布尔可满足的(204)。如果可满足(在205处为是)，则设计工具生成控制信号以配置所述至少一个多路复用器从而实现期望连接(206)。如果不是可满足的(在205处为否)，则设计工具生成指示期望连接中的哪些部分是可实现的以及哪些部分是不可实现的报告(207)。 | ||
| 搜索关键词： | 经由 布尔 满足 设备 引脚 配置 求解 代码 生成 | ||
【主权项】：
1.一种信号输入/输出设计方法，其包含以下步骤：/n生成第一组布尔表达式，所述第一组布尔表达式指示至少一个多路复用器将内部信号连接到外部线路的连接能力；/n从设计者处接收内部信号和外部线路之间的期望连接；/n采用合适编程的通用计算机将所述接收的内部信号和外部线路之间的期望连接转化为对应的第二组布尔表达式；/n采用合适编程的通用计算机确定所述第一组布尔表达式和所述第二组布尔表达式是否是布尔可满足的；以及/n如果所述第一组布尔表达式和所述第二组布尔表达式不是布尔可满足的，/n则去除所有所述第二组布尔表达式，/n通过如下步骤逐个代替所述第二组布尔表达式的布尔表达式：/n对于所述第二组布尔表达式的每个布尔表达式：/n通过将该布尔表达式添加到代替的第二组布尔表达式来代替所述第二组布尔表达式的所述布尔表达式；以及/n在将所述第二组布尔表达式的所述布尔表达式添加到代替的第二组布尔表达式之后，采用所述合适编程的通用计算机确定所述第一组布尔表达式以及所述代替的第二组布尔表达式是否是布尔可满足的；/n报告所述第二组的哪些相关布尔表达式是布尔可满足的以及哪些不是布尔可满足的。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于德克萨斯仪器股份有限公司，未经德克萨斯仪器股份有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201510145534.8/，转载请声明来源钻瓜专利网。
- 上一篇：一种基于VF法的单相变压器高频模型建立方法
- 下一篇：一种数据存储方法及装置
