针对FPGA复杂可编程逻辑单元的快速布尔匹配方法研究
| 目录 | 第1-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 第1章 引言 | 第9-21页 |
| ·概述 | 第9-15页 |
| ·电子设计自动化 | 第9-15页 |
| ·现场可编程门阵列 | 第15-17页 |
| ·本文的研究内容与主要贡献 | 第17-20页 |
| ·本文组织结构 | 第20-21页 |
| 第2章 针对FPGA可编程逻辑单元的布尔匹配问题 | 第21-48页 |
| ·可编程逻辑单元结构 | 第21-24页 |
| ·针对FPGA可编程逻辑单元的布尔匹配及其应用 | 第24-31页 |
| ·工艺映射 | 第26-27页 |
| ·电路逻辑再综合 | 第27-30页 |
| ·新型可编程逻辑单元结构评估 | 第30-31页 |
| ·现有布尔匹配方法 | 第31-47页 |
| ·基于布尔函数分解的匹配方法 | 第32-35页 |
| ·基于函数规则形式的匹配方法 | 第35-41页 |
| ·基于布尔可满足性的匹配方法 | 第41-47页 |
| ·本章小结 | 第47-48页 |
| 第3章 基于布隆过滤器的快速布尔匹配方法 | 第48-72页 |
| ·研究动机 | 第48-50页 |
| ·F-BM方法基本匹配流程 | 第50-52页 |
| ·构建匹配查找表 | 第52-55页 |
| ·基于布隆过滤器的布尔匹配方法 | 第55-66页 |
| ·布隆过滤器的工作原理 | 第55-59页 |
| ·哈希函数选取 | 第59-63页 |
| ·匹配查找表存储空间 | 第63-64页 |
| ·配查找表覆盖率 | 第64-66页 |
| ·过滤策略 | 第66-68页 |
| ·基本过滤策略 | 第66页 |
| ·基于动态学习的过滤策略 | 第66-68页 |
| ·电路逻辑再综合实验结果 | 第68-71页 |
| ·本章小结 | 第71-72页 |
| 第4章 基于软件即服务模式的快速布尔匹配方法 | 第72-90页 |
| ·研究动机 | 第72-74页 |
| ·基本框架设计 | 第74-77页 |
| ·服务器端配置 | 第77-84页 |
| ·数据库选择 | 第77-80页 |
| ·配查找表构建 | 第80-82页 |
| ·键值选择及实验结果 | 第82-84页 |
| ·网络环境下的布尔匹配 | 第84-86页 |
| ·电路逻辑再综合实验结果 | 第86-89页 |
| ·本章小结 | 第89-90页 |
| 第5章 总结与展望 | 第90-92页 |
| ·总结 | 第90-91页 |
| ·展望 | 第91-92页 |
| 参考文献 | 第92-101页 |
| 在学期间的研究成果及发表的论文 | 第101-102页 |
| 致谢 | 第102-103页 |
