一种支持部分可重构的航天用SoC的实现方法

    公开(公告)号:CN104484309B

    公开(公告)日:2017-07-28

    申请号:CN201410790968.9

    申请日:2014-12-18

    Abstract: 本发明涉及一种支持部分可重构的航天用SoC的实现方法,通过在SoC中定义动态系统与静态系统,并对两个系统进行不同的设计,在系统运行的过程中能够对FPGA上的部分逻辑进行重配置,而未经配置的部分的逻辑功能不发生改变,使得动态部分可重构既具有软件的灵活性,又具有硬件的高效性,能够有效解决现有SOC内部功能和结构无法改变的现状,同时通过部分重构技术能够周期性地刷新配置位流,防止配置位流发生单粒子翻转,提高了SOC的可靠性和容错能力,使SOC的功能变更更加灵活。

    一种用于乒乓防冲突的高速复接器同步串行接口设计方法

    公开(公告)号:CN104063351A

    公开(公告)日:2014-09-24

    申请号:CN201410309228.9

    申请日:2014-06-30

    Abstract: 本发明一种用于乒乓防冲突的高速复接器同步串行接口设计方法包括步骤如下:确定高速复接器同步串行通讯接口的发送字节数;高速复接器同步串行通讯接口接收外部输入的波门信号,进行输入波门与码元时钟相位关系调节,并对调节后的波门进行修正;根据修正后的波门和外部处理器访问的相对时延进行防冲突处理,调节数据发送时机;处理器读取高速复接器的状态寄存器,对乒乓总线访问进行冲突控制,实现乒乓缓冲区的控制切换;在处理器控制下和修正后的波门有效时,将乒乓数据缓冲区内数据转换为串行数据,并输出到高速复接器的数据线上。本发明通过上述冲突处理方法,提高了高速复接器同步串行接口通信的可靠性和稳定性。

    一种甚高精度图像处理VLSI验证方法

    公开(公告)号:CN106375658B

    公开(公告)日:2019-05-24

    申请号:CN201610814709.4

    申请日:2016-09-09

    Abstract: 一种通用的甚高精度图像处理VLSI验证方法,首先根据当前相机类型进行参数配置,获取相机源图像并转换得到TEXTIO格式的原图数据和标准解数据,然后在多个重复的行有效周期中像素时钟的有效沿依次将原图数据发送至相机的数据总线或者数据信号线上,对数据总线或者数据信号线上的数据进行甚高精度图像处理及读取,得到TEXTIO格式的甚高精度图像处理结果数据,最后将处理结果数据与标准解数据进行比对,得到误差像素的位置、灰度值差值,进而得到调整阈值分布后的图像及验证结果。

    一种基于配置帧的在轨SRAM型FPGA故障检测与修复方法

    公开(公告)号:CN104579313B

    公开(公告)日:2018-07-24

    申请号:CN201410841843.4

    申请日:2014-12-30

    Abstract: 本发明涉及一种基于配置帧的在轨SRAM型FPGA故障检测与修复方法,通过故障检测与修复系统实现,故障检测与修复系统包括主处理模块、配置帧回读模块、故障检测模块和配置帧纠错与恢复模块,本发明通过在高可靠芯片上实现的故障检测与修复系统,实现对SRAM型FPGA内部配置信息进行按帧的回读、校验及回写或改写,实现了配置信息帧级别的故障检测和修复,极大提高了FPGA因空间环境单粒子效应所引发的配置信息翻转问题的检测率和修复能力,为SRAM型FPGA提供了一种实现方式简单、资源消耗率低、无需软件支持的通用可靠性设计方法。

    一种用于乒乓防冲突的高速复接器同步串行接口设计方法

    公开(公告)号:CN104063351B

    公开(公告)日:2017-07-07

    申请号:CN201410309228.9

    申请日:2014-06-30

    Abstract: 本发明一种用于乒乓防冲突的高速复接器同步串行接口设计方法包括步骤如下:确定高速复接器同步串行通讯接口的发送字节数;高速复接器同步串行通讯接口接收外部输入的波门信号,进行输入波门与码元时钟相位关系调节,并对调节后的波门进行修正;根据修正后的波门和外部处理器访问的相对时延进行防冲突处理,调节数据发送时机;处理器读取高速复接器的状态寄存器,对乒乓总线访问进行冲突控制,实现乒乓缓冲区的控制切换;在处理器控制下和修正后的波门有效时,将乒乓数据缓冲区内数据转换为串行数据,并输出到高速复接器的数据线上。本发明通过上述冲突处理方法,提高了高速复接器同步串行接口通信的可靠性和稳定性。

    一种可配置的抗辐射芯片前端网表自动生成方法

    公开(公告)号:CN105956302A

    公开(公告)日:2016-09-21

    申请号:CN201610306021.5

    申请日:2016-05-10

    CPC classification number: G06F17/5081

    Abstract: 一种可配置的抗辐射芯片前端网表自动生成方法,采用可配置的抗辐射数字标准单元库进行设计,并采用可配置的TIP的测试激励来进行验证,步骤为:基于IP构建起芯片的RTL代码;采用抗辐射指标可配置的单元库进行综合;基于IP构建可配置的测试集合;根据IP在芯片设计时的参数定义配置相应的测试集合;基于配置后的测试集合和设计的RTL代码构建起仿真验证环境;启动仿真验证并将相应的测试集合注入以验证设计的正确性;验证其正确性后生成最终的前端网表。本发明方法实现简单并且大幅减少了基于IP的抗辐射芯片设计与验证的开销,提升了基于IP的抗辐射加固的芯片设计与验证的效率,实现了前端网表的高效自动生成。

    一种用于SRAM型FPGA配置刷新的CRC校验方法

    公开(公告)号:CN104484238A

    公开(公告)日:2015-04-01

    申请号:CN201410783776.5

    申请日:2014-12-16

    Abstract: 一种用于SRAM型FPGA配置刷新的CRC校验方法,通过对SRAM型FPGA配置文件格式、存储形式和故障模式的研究,采用对SRAM型FPGA回读配置帧实时计算与PROM内预先存储的CRC校验码比对的方式,提出并实现了一种用于SRAM型FPGA配置刷新的CRC校验方法。本发明方法采用CRC校验码的形式,实现了FPGA配置信息校验的器件无关性,同时设置了使能标志和获取标志,实现了不同速率、大数据量校验的应用需求,在回读过程中实时完成回读数据的CRC校验,达到了节省存储资源与处理时间的目的。另外本发明方法使用的基于查表的字节型CRC算法,进行资源独立划分和管理,快速高效,提升了运算速度和工作频率。

Patent Agency Ranking