一种基于伪布尔可满足性FPGA布线算法

• 作者: 于宗光 刘战 沈静静 顾晓峰
• 来源期刊: 科技与创新
• 关键词: 现场可编程门阵列 布尔可满足性 伪布尔可满足性 布线
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: PLD CPLD FPGA应用
• 页码范围: 125-127
• 分类号: TN47
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2010.02.052

摘要

为了克服布尔可满足性算法在现场可编程门阵列布线中存在的不足,引进了一种在标准对称阵列(隔离岛状)现场可编程门阵列结构下的新型有效布线方法--伪布尔可满足性算法,并结合实例详细地阐述了将其应用于布线的原理及方法,同时采用实际工业电路将布尔可满足性算法与伪布尔可满足性算法作出比较.实验结果显示,伪布尔可满足性算法比布尔可满足性算法在布线时间上减少了10.5%,在稳定性上提高了3.3%.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾晓峰	江南大学信息工程学院	115	265	9.0	11.0
2	刘战	江南大学信息工程学院	14	116	4.0	10.0
3	沈静静	江南大学信息工程学院	2	2	1.0	1.0