姜大力 作品数:5 被引量:4 H指数:1 供职机构: 中国科学院上海微系统与信息技术研究所 更多>> 发文基金: 上海市科委国际合作基金 更多>> 相关领域: 自动化与计算机技术 航空宇航科学技术 机械工程 更多>>
应用聚类和粗糙集的FPGA底层数据挖掘 被引量:1 2013年 提出了一种从XDL文件中提取现场可编程门阵列(FPGA)底层逻辑和布线资源的方法。预处理阶段通过正则表达式将原有底层逻辑文件转换为待分析的有层次属性的关系型数据库。数据挖掘阶段则根据各个层次数据内部的特性不同,采用不同的算法进行聚类来得到初步知识。通过粗糙集分析初步知识间的关系和约简属性,得出初步知识间的联系同时进一步提取出决策规则和产生式规则的知识。最后,通过规则验证器和泛化器对提取出的规则进行验证和泛化。实验结果表明,对于大型的FPGA器件,wire的逻辑最高压缩比可以达到2.88×10-4。该方法相对于底层器件有较好的通用性和交互性,适用于对不同器件族FPGA底层信息的知识提取,对深入研究FPGA的拓扑架构,提高对FPGA进行动态重配置的可控性和实现更灵活的重配置很有意义。 姜大力 赵波 王永 李华旺 杨根庆关键词:现场可编程门阵列 数据挖掘 粗糙集 聚类 片上逻辑分析仪的设计 被引量:1 2008年 提出了一种用在FPGA上实现的片上逻辑分析仪的设计方案;随着FPGA的规模的增大,在其内部可以实现复杂的SoC设计,但是I/O端口数量有限,采用VHDL设计,可以在源代码级插入到设计中,这也使得它与FPGA的器件类型和开发软件保持独立,它可以对FPGA内部的任何信号和复杂的事件进行追踪,采样的结果保存在通过片上的同步RAM实现的循环跟踪缓存区,通过AMBAAPB总线接口完成对触发引擎控制和缓存区的读写;这种实现方案的逻辑分析仪占用资源小,可以达到的频率高,可广泛应用到基于AMBA总线的SoC设计中;最后,对可改进的方向进行了分析。 张小林 姜大力 李华旺 杨根庆关键词:APB 星载计算机 星载计算机软硬件协同验证技术的研究 被引量:2 2008年 在星载计算机LYRA的设计和验证过程中,采用System Verilog的DPI建立了完整的、低成本的、高效的SOC系统软硬件协同验证的系统仿真平台;利用这种技术使得可以在实际硬件可用前进行C/C++代码的开发和测试,同时又可以利用真实的软件对硬件进行验证;在早期软硬件可以公用测试平台进行并行开发,不仅大大减少软硬件开发的重复工作,加快了验证速度,还能对软硬件之间的边角情况进行完整的验证;验证方法已经成功的应用于星载计算机LYRA的开发中,取得了良好的效果。 周戌申 张小林 姜大力 李华旺关键词:DPI 星载计算机 基于AMBA总线的SoC事务级错误敏感性建模和分析 2008年 随着总线频率以及总线负荷的增加,基于总线的系统可靠性问题就必须引起重视;提出了详细的分析基于AMBA(Advanced Microcontroller Bus Architecture)总线的系统的事务级的错误敏感性模型和系统级敏感性预测方法,通过详细的实验,确定了单比特错误在不同的事务中对总线的影响,确定了总线系统中的需要被保护的关键信号,可以帮助选择合理的错误保护机制;结果显示基于预测的策略与仿真结果在所有的基准程序中平均具有90%的一致性。 姜大力 张小林 杨根庆 李华旺关键词:AMBA 事务 SOC技术在星载计算机系统中的设计与应用 针对SOC(System On a Chip)系统集成性高、可编程性强的特点,提出了一种片内温备份,片外冷备份相混合冗余策略的星载计算机系统设计方法。对该计算机系统进行建模基础下,针对不同系统下的微小卫星的可靠性进行了实... 赵波 姜大力关键词:长寿命 马尔可夫链 文献传递