[发明专利]一种数字电路逻辑函数的最佳蕴含逻辑表示方法有效
| 申请号： | 202010052708.7 | 申请日： | 2020-01-17 |
| 公开（公告）号： | CN111259609B | 公开（公告）日： | 2023-05-02 |
| 发明（设计）人： | 储著飞;陈林;夏银水;王伦耀 | 申请（专利权）人： | 宁波大学 |
| 主分类号： | G06F30/327 | 分类号： | G06F30/327;G06F30/323 |
| 代理公司： | 宁波奥圣专利代理有限公司 33226 | 代理人： | 谢潇 |
| 地址： | 315211 浙*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开的数字电路逻辑函数的最佳蕴含逻辑表示方法，首先根据定义的布尔变量来描述蕴含逻辑中的约束条件，得到以合取范式CNF表示的约束文件，设置不同的实质蕴含逻辑操作数，编码得到CNF约束文件，再将CNF约束文件传送给SAT求解器，直到SAT求解器找到满足约束条件的布尔变量赋值并返回代表最优解的结果SAT，从而确保找到数字电路逻辑函数的最佳蕴含逻辑表示形式。本发明方法在所有的三输入数字电路逻辑函数中，优化了74个函数。本发明方法能够有效降低以实质蕴含为基本运算集的逻辑图形结构中结点的数目，当被运用于忆阻器电路中时，可减少忆阻器的数目，降低忆阻器电路的设计成本，同时丰富逻辑综合中实质蕴含逻辑的研究方法。 | ||
| 搜索关键词： | 一种 数字电路 逻辑 函数 最佳 蕴含 表示 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于宁波大学，未经宁波大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010052708.7/，转载请声明来源钻瓜专利网。
- 上一篇：一种复杂储层泥质含量计算方法
- 下一篇：一种辅助双腿康复用设备
