公开(公告)号：CN101615211A

公开(公告)日：2009-12-30

申请号：CN200910055872.7

申请日：2009-08-04

Applicant: 复旦大学

Inventor： 杨萌 ,  邵海波 ,  童家榕

IPC: G06F17/50 ,  G06F11/18

Abstract: 本发明一种基于查找表结构商用现场可编程器件用于辐照环境下三模冗余抗辐照方法及其通用算法，为缓解商用FPGA芯片在辐照环境下因太空中辐照能量粒子造成编程点单粒子翻转问题。该方法根据用户电路逻辑类型进行分类，第一类为输入逻辑、第二类为非反馈逻辑、第三类为反馈逻辑、第四类为输出逻辑。本发明针对四种类型逻辑分别提出不同的三模冗余抗辐照处理方法。该方法是处理各种用户电路映射到商用FPGA的一种普适性方法。既有广泛代表性，又具有通用性，同时也兼备实用性。

公开(公告)号：CN104866678A

公开(公告)日：2015-08-26

申请号：CN201510289075.0

申请日：2015-06-01

Applicant: 复旦大学

Inventor： 来金梅 ,  方浩帅 ,  杨萌 ,  王健

IPC: G06F17/50

Abstract: 本发明属于电子技术领域，具体为一种FPGA时序约束布局方法。本发明针对输入输出延时约束与端口路径延时约束。对于输入输出延时约束，本发明提出一种递归搜索算法进行输入端口到触发器（或触发器到输出端口）的路径搜索，当搜索到触发器Q顶点时，使用延时分类路径存储方法进行路径保存；对于端口路径约束，本发明对所约束的输入端口进行正向拓扑排序，对所约束的输出端口进行反向拓扑排序，对两者求交集得到约束路径，并设计了该类约束的路径延时增量式计算策略。本发明提出的方法能够很好的处理这两类时序约束的路径存储与延时计算问题，能够指导布局引擎进行时序路径约束布局。