期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于半张量积的逻辑综合研究进展
被引量：
1
1
作者
储著飞
马铖昱
+4 位作者
闫鸣
潘家祥
潘鸿洋
王伦耀
夏银水
《电子与信息学报》
EI
CAS
CSCD
北大核心
2024年第9期3490-3502,共13页
逻辑综合在现代电子设计自动化流程中扮演着至关重要的角色。随着计算能力的不断增强以及新的计算范式的涌现,各种高效的布尔可满足性(SAT)求解器和电路仿真器(Simulator)得以开发,并在逻辑综合的领域取得了显著的应用。该文首先对布尔...
逻辑综合在现代电子设计自动化流程中扮演着至关重要的角色。随着计算能力的不断增强以及新的计算范式的涌现,各种高效的布尔可满足性(SAT)求解器和电路仿真器(Simulator)得以开发,并在逻辑综合的领域取得了显著的应用。该文首先对布尔可满足性问题和电路逻辑仿真器进行了简要介绍;其次回顾了矩阵半张量积的发展历程,并根据半张量积的基本原理深入阐述了其在推理引擎和逻辑综合方面的研究进展;最后,对未来可能对逻辑综合产生重大影响的新技术进行了展望。
展开更多
关键词
逻辑综合
逻辑优化
推理引擎
半张量积
在线阅读
下载PDF
职称材料
基于布尔可满足性的精确逻辑综合综述
被引量：
2
2
作者
储著飞
潘鸿洋
《电子与信息学报》
EI
CSCD
北大核心
2023年第1期14-23,共10页
逻辑综合是电子设计自动化(EDA)的重要步骤,随着算力逐渐提升和新的计算范式不断涌现,传统基于全局启发式算法的逻辑综合面临新的挑战。启发式算法面临的主要问题是得到一个次优解,随着算力的提升,逻辑优化越来越追求精确解而不满足于...
逻辑综合是电子设计自动化(EDA)的重要步骤,随着算力逐渐提升和新的计算范式不断涌现,传统基于全局启发式算法的逻辑综合面临新的挑战。启发式算法面临的主要问题是得到一个次优解,随着算力的提升,逻辑优化越来越追求精确解而不满足于次优解。该文首先简述逻辑函数表达方法和布尔可满足性(SAT)问题;其次针对精确综合的算法、编码等方面介绍了在布尔逻辑网络的面积优化和深度优化方面的精确综合研究进展;最后对精确综合的未来发展趋势进行讨论。
展开更多
关键词
逻辑综合
精确综合
布尔可满足性
多数逻辑门
在线阅读
下载PDF
职称材料
题名
基于半张量积的逻辑综合研究进展
被引量：
1
1
作者
储著飞
马铖昱
闫鸣
潘家祥
潘鸿洋
王伦耀
夏银水
机构
宁波大学信息科学与工程学院
复旦大学微电子学院
出处
《电子与信息学报》
EI
CAS
CSCD
北大核心
2024年第9期3490-3502,共13页
基金
国家自然科学基金(62274100,U23A20351)
浙江省重点研发计划(2024C01111)
宁波市重点研发计划(2023Z071)。
文摘
逻辑综合在现代电子设计自动化流程中扮演着至关重要的角色。随着计算能力的不断增强以及新的计算范式的涌现,各种高效的布尔可满足性(SAT)求解器和电路仿真器(Simulator)得以开发,并在逻辑综合的领域取得了显著的应用。该文首先对布尔可满足性问题和电路逻辑仿真器进行了简要介绍;其次回顾了矩阵半张量积的发展历程,并根据半张量积的基本原理深入阐述了其在推理引擎和逻辑综合方面的研究进展;最后,对未来可能对逻辑综合产生重大影响的新技术进行了展望。
关键词
逻辑综合
逻辑优化
推理引擎
半张量积
Keywords
Logic synthesis
Logic optimization
Reasoning engine
Semi-Tensor Product(STP)
分类号
TN47 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
基于布尔可满足性的精确逻辑综合综述
被引量：
2
2
作者
储著飞
潘鸿洋
机构
宁波大学信息科学与工程学院
出处
《电子与信息学报》
EI
CSCD
北大核心
2023年第1期14-23,共10页
基金
国家自然科学基金(61871242)
专用集成电路与系统国家重点实验室开放研究课题基金(2021KF008)。
文摘
逻辑综合是电子设计自动化(EDA)的重要步骤,随着算力逐渐提升和新的计算范式不断涌现,传统基于全局启发式算法的逻辑综合面临新的挑战。启发式算法面临的主要问题是得到一个次优解,随着算力的提升,逻辑优化越来越追求精确解而不满足于次优解。该文首先简述逻辑函数表达方法和布尔可满足性(SAT)问题;其次针对精确综合的算法、编码等方面介绍了在布尔逻辑网络的面积优化和深度优化方面的精确综合研究进展;最后对精确综合的未来发展趋势进行讨论。
关键词
逻辑综合
精确综合
布尔可满足性
多数逻辑门
Keywords
Logic synthesis
Exact synthesis
Boolean SATisfiability(SAT)
Majority logic
分类号
TN47 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于半张量积的逻辑综合研究进展
储著飞
马铖昱
闫鸣
潘家祥
潘鸿洋
王伦耀
夏银水
《电子与信息学报》
EI
CAS
CSCD
北大核心
2024
1
在线阅读
下载PDF
职称材料
2
基于布尔可满足性的精确逻辑综合综述
储著飞
潘鸿洋
《电子与信息学报》
EI
CSCD
北大核心
2023
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
