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

摘要：

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

关键词：布尔可满足性、FPGA、再综合、映射优化、查看表

所属期刊栏目：4

分类号：TP331(计算技术、计算机技术)

资助基金：淮阴工学院青年教师科研基金HGXK0706

在线出版日期：2009-03-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2502-2503,2537