Institute of Computing Technology, Chinese Academy IR
| 基于SAT的快速电路时延计算 | |
| 何子键; 吕涛; 李华伟; 李晓维 | |
| 2011 | |
| 发表期刊 | 计算机辅助设计与图形学学报
 |
| ISSN | 1003-9775 |
| 卷号 | 23.0期号:003页码:480 |
| 摘要 | 针对现有的基于时间展开电路求解时延算法在电路规模较大或者时延模型精度较高时效率较低的问题，提出一种基于子电路抽取的电路时延计算方法．基于展开电路，通过分析输出端约束找到相关的输出端，利用回溯抽取与这些输出端相关的逻辑锥子电路，并在子电路而不是在展开电路上进行求解，由于抽取的子电路的规模远小于展开电路的规模，加速了求解过程；同时提出了抽象电路的概念，并分析了抽取子电路的同构特性，通过在抽象电路上进行预处理得到学习子句，从而可以利用学习子句加速每一次的SAT求解过程．在ISCAS85和ISCAS89电路上的实验结果表明，采用文中方法使得电路时延的求解效率平均提高了约8倍． |
| 关键词 | 可满足性 电路时延 电路展开 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/26039 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 何子键,吕涛,李华伟,等. 基于SAT的快速电路时延计算[J]. 计算机辅助设计与图形学学报,2011,23.0(003):480. |
| APA | 何子键,吕涛,李华伟,&李晓维.(2011).基于SAT的快速电路时延计算.计算机辅助设计与图形学学报,23.0(003),480. |
| MLA | 何子键,et al."基于SAT的快速电路时延计算".计算机辅助设计与图形学学报 23.0.003(2011):480. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [何子键]的文章 |
| [吕涛]的文章 |
| [李华伟]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [何子键]的文章 |
| [吕涛]的文章 |
| [李华伟]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [何子键]的文章 |
| [吕涛]的文章 |
| [李华伟]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论