一种基于SAT的FPGA映射优化算法

• 作者: 陆华奇
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 布尔可满足性 FPGA 再综合 映射优化 查看表
• 年，卷（期）: 2008,（12Z）
• 页码范围: 2502-2503
• 页数: 2页
• 分类号: TP301.6

摘要

为了提高FPGA技术映射算法的质量,提出了一种基于布尔可满足性(SAT)的算法,在实现系统功能的前提下,可以将一个子电路映射到数量最少的查看表中。通过将该算法迭代应用于已经完成映射的电路局部,在许多情况下,可以使用更少的查看表来完成。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆华奇	淮阴工学院计算机工程系	6	7	1.0	2.0