一种加速FPGA布线的不可满足子式求解算法

张建民; 黎铁军; 马柯帆; 肖立权

首页> 中文期刊> 《电子学报》 >一种加速FPGA布线的不可满足子式求解算法

一种加速FPGA布线的不可满足子式求解算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Pro-grammable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对如何加速FPGA详细布线过程,提出了一种基于消解否证的启发式局部搜索算法,能够快速从布尔公式中提取不可满足子式.基于典型的FPGA布线测试集,与两种求解最小不可满足子式效率最高的算法进行了比较,结果表明局部搜索算法在运行效率方面显著优于分支限界算法与贪心遗传算法,而局部搜索算法也能得到最小不可满足子式;并且深入分析了不可满足子式在FPGA详细布线中的作用,能够加速芯片的设计与验证过程.

著录项

来源
《电子学报》 |2021年第6期|1210-1216|共7页
作者
张建民; 黎铁军; 马柯帆; 肖立权;
展开▼
作者单位

国防科学技术大学计算机学院湖南长沙410073;

国防科学技术大学计算机学院湖南长沙410073;

国防科学技术大学计算机学院湖南长沙410073;

国防科学技术大学计算机学院湖南长沙410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息处理（信息加工）;
关键词
FPGA布线; 布线约束; 布尔可满足性; 不可满足子式; 局部搜索; 消解否证;

相似文献

中文文献
外文文献
专利

1. 基于悖论证明与局部搜索的不可满足子式求解算法 [J] . 张建民 ,沈胜宇 ,李思昆 . 计算机学报 . 2014,第011期
2. 基于否证蕴含的极小一阶不可满足子式求解算法 [J] . 张建民 ,沈胜宇 ,李思昆 . 计算机学报 . 2010,第003期
3. 最小布尔不可满足子式的求解算法 [J] . 张建民 ,沈胜宇 ,李思昆 . 电子学报 . 2009,第005期
4. 一种求解布尔不可满足子式的局部搜索算法 [J] . 张建民 ,沈胜宇 ,李思昆 . 计算机工程与科学 . 2009,第004期
5. 一种改进的伪布尔可满足性算法用于FPGA布线 [J] . 唐玉兰 ,刘战 ,于宗光 . 计算机科学 . 2010,第010期
6. 极小SMT不可满足子式的提取算法 [C] . . 全国第15届计算机辅助设计与图形学学术会议 . 2008
7. 伪布尔可满足性算法及其在FPGA布线中的研究应用 [A] . 唐玉兰 . 2010

一种加速FPGA布线的不可满足子式求解算法

摘要

著录项

相似文献

相关主题

期刊订阅