基于函数分类和布隆过滤器的布尔匹配方法

• 作者: 包杰 王伶俐
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 现场可编程门阵列 布隆过滤器 布尔匹配 函数分类 动态学习 逻辑再综合
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 275-280
• 页数: 6页
• 分类号: TP311
• 字数: 5911字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2014.06.059

摘要

在现场可编程门阵列的自动化综合流程中,布尔匹配是核心子问题之一.基于布隆过滤器的布尔匹配方法需要消耗大量存储空间并牺牲部分可实现函数的覆盖率.针对该问题,提出一种布尔匹配方法,给出布尔函数的规则表达形式,对布尔函数进行分类,并在布尔匹配的过程中进行动态学习.实验结果表明,通过对函数分类可以使布尔匹配库所需的存储空间降低96％,而动态学习策略可以使电路在逻辑再综合算法应用中额外节省13％的LUT数目.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王伶俐	复旦大学专用集成电路与系统国家重点实验室	33	124	6.0	9.0
2	包杰	复旦大学专用集成电路与系统国家重点实验室	2	6	2.0	2.0