公开(公告)号：CN102054110A

公开(公告)日：2011-05-11

申请号：CN201110028805.3

申请日：2011-01-27

Applicant: 复旦大学

Inventor： 王伶俐 ,  周学功 ,  龚爱慧 ,  陈志辉 ,  梁绍池

IPC: G06F17/50

Abstract: 本发明属于电子技术领域，具体为一种面向复杂FPGA可编程逻辑块通用装箱方法。本发明是将FPGA的可编程逻辑块的芯片配置描述为一系列用于约束可满足性问题图匹配方法的有向简单图，然后利用约束可满足性问题图匹配方法在用户电路中识别出芯片所支持的逻辑功能子电路进行装箱操作。本发明只要预先定义好描述目标FPGA逻辑功能电路的库文件，就能够支持对不同结构的FPGA芯片进行装箱，如能够对快速进位链，分布式存储器，移位寄存器，LUT5，LUT6等FPGA的各种功能配置进行装箱，有效提高芯片逻辑资源利用率，改善电路时序性能。本发明能够按照指定要求对电路进行优化，同时实现各种模块化电路的映射，在系统架构设计和可重构系统中都有重要的应用。

公开(公告)号：CN102033772A

公开(公告)日：2011-04-27

申请号：CN201010608191.1

申请日：2010-12-28

Applicant: 复旦大学

Inventor： 王伶俐 ,  陈志辉 ,  龚爱慧 ,  梁绍池

IPC: G06F9/445 ,  G06F11/36

Abstract: 本发明属于电子技术领域，具体为一种用于FPGA映射的电路改写指令系统。指令系统中包括测试指令和操作指令两类，测试指令用于过程控制，通过对电路特性的分析判断来决定不同的电路改写策略，操作指令用于描述实际的电路改写方法。由于在电子设计自动化工具中经常涉及到对电路的修改和等价性替换，用基于文本的指令系统来描述电路网表的修改过程，可以使用户避免修改程序代码就能灵活处理复杂多变的电路修改要求。