期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
FSA在舰船设备安全评价中的应用 被引量:1
1
作者 王成飞 张荣昌 宝珠 《四川兵工学报》 CAS 2008年第6期128-130,共3页
简述FSA的内容和流程,根据舰船设备使用的安全性特点分析应用FSA的可行性,通过危险识别、风险评估、提出降低风险的措施、费用与受益评估和提供决策建议5个规范化的步骤给出了FSA在某舰船直流推进电机的具体应用方法,可以看出FSA方法可... 简述FSA的内容和流程,根据舰船设备使用的安全性特点分析应用FSA的可行性,通过危险识别、风险评估、提出降低风险的措施、费用与受益评估和提供决策建议5个规范化的步骤给出了FSA在某舰船直流推进电机的具体应用方法,可以看出FSA方法可完全适用于舰船设备的安全评估. 展开更多
关键词 综合安全评估FSA 舰船设备 安全评价
下载PDF
采样可选择的FPGA片内逻辑分析仪设计方法 被引量:1
2
作者 谭宜涛 杨海钢 +2 位作者 周发标 张茉莉 宝珠 《微电子学与计算机》 CSCD 北大核心 2012年第2期59-64,共6页
针对大容量的信号采样时片内逻辑分析仪存储器资源紧张的情况,本文提出了一种采样可选择的FPGA片内逻辑分析仪的设计方法.本方法通过布局布线约束实现JTAG硬核的复用,并利用JTAG硬核修改FPGA内寄存器实现采样信号的重新选择.测试结果表... 针对大容量的信号采样时片内逻辑分析仪存储器资源紧张的情况,本文提出了一种采样可选择的FPGA片内逻辑分析仪的设计方法.本方法通过布局布线约束实现JTAG硬核的复用,并利用JTAG硬核修改FPGA内寄存器实现采样信号的重新选择.测试结果表明,与某商用工具相比,根据该方法实现的片内逻辑分析仪对采样信号进行N分组后,在同等条件下所需的片内存储资源降低到1/N,同时设计时序的稳定性得以保证. 展开更多
关键词 FPGA 片内逻辑分析仪 JTAG硬核 采样可选择
下载PDF
基于区域重组的异构FPGA工艺映射算法 被引量:3
3
作者 宝珠 杨海钢 +2 位作者 郝亚男 张茉莉 崔秀海 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第8期1027-1037,共11页
传统异构FPGA工艺映射算法一般不打破实现专用功能和查找表功能的子网表之间的层次边界,因而缩小了映射的优化空间.为此提出一种利用区域重组打破单元间层次边界的异构FPGA工艺映射算法.首先利用贪心策略实现FPGA多单元的映射,即优先使... 传统异构FPGA工艺映射算法一般不打破实现专用功能和查找表功能的子网表之间的层次边界,因而缩小了映射的优化空间.为此提出一种利用区域重组打破单元间层次边界的异构FPGA工艺映射算法.首先利用贪心策略实现FPGA多单元的映射,即优先使用性能好的专用功能单元;然后利用标记锥实现子网表之间的区域重组,打破专用功能单元和查找表之间的层次边界,减小了映射结果的面积和延迟开销.实验结果表明,与公认的ABC中的工艺映射算法相比,该算法能平均减少逻辑单元面积12.2%,减少电路关键路径延时2.5%. 展开更多
关键词 FPGA 异构FPGA工艺映射 专用功能单元 区域重组 标记锥
下载PDF
面向算术单元的FPGA工艺映射算法 被引量:1
4
作者 宝珠 杨海钢 +2 位作者 郝亚男 张茉莉 崔秀海 《微电子学与计算机》 CSCD 北大核心 2012年第12期1-6,共6页
本文提出了一种针对算术单元的FPGA工艺映射算法ArithM.实验结果表明,与公认ABC中的黑盒子映射算法相比,本文算法能平均减少逻辑单元面积7%,减少电路关键路径延时5%.ArithM采用了单元共享、平衡算术链以及吸收邻近节点三种方法来优化算... 本文提出了一种针对算术单元的FPGA工艺映射算法ArithM.实验结果表明,与公认ABC中的黑盒子映射算法相比,本文算法能平均减少逻辑单元面积7%,减少电路关键路径延时5%.ArithM采用了单元共享、平衡算术链以及吸收邻近节点三种方法来优化算术资源. 展开更多
关键词 FPGA 工艺映射 算术单元 单元共享
下载PDF
改进的基于属性不变量生成和数学归纳法的时序逻辑优化算法 被引量:1
5
作者 郝亚男 杨海钢 +2 位作者 宝珠 崔秀海 张茉莉 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第9期1232-1240,共9页
为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟提取候选属性不变量之前,利用寄存器共享来降低初始候选不变量数目,以减少SAT程序的频繁调用;然后利用推... 为了在时序逻辑综合中使电路面积和关键路径延迟同时得到快速优化,提出一种改进的基于假设后验证的时序优化算法.在位并行随机模拟提取候选属性不变量之前,利用寄存器共享来降低初始候选不变量数目,以减少SAT程序的频繁调用;然后利用推测化简模型和改进的数学归纳法将基本条件和归纳步骤合并处理,有效地降低了电路规模和关键路径延迟,同时提高了算法运行速度.实验数据表明,文中算法使寄存器和节点规模平均下降41%和48%,关键路径延迟减小30%;与同类方法相比,该算法运行时间平均下降17%. 展开更多
关键词 时序优化 假设后验证 位并行随机模拟 寄存器共享 推测化简模型
下载PDF
Incremental Min-Period Retiming Algorithm for FPGA Synthesis Based on Influence of Fan-Outs
6
作者 郝亚男 杨海钢 +2 位作者 崔秀海 谭宜涛 宝珠 《Transactions of Tianjin University》 EI CAS 2012年第4期259-265,共7页
An improved linear-time retiming algorithm is proposed to incrementally optimize the clock period, espe cially considering the influence of the in-out degree of the critical combinational elements. Firslly, the critic... An improved linear-time retiming algorithm is proposed to incrementally optimize the clock period, espe cially considering the influence of the in-out degree of the critical combinational elements. Firslly, the critical elements are selected from all the critical combinational elements to retime. Secondly, for the nodes that cannot be performed with such retiming, register sharing is implemented while the path delay is kept unchanged. The incremental algorithm can be applied with the technology mapping to minimize the critical path delay and obtain fewer registers in the re- timed circuit with the near-optimal clock period. Compared with Singh's incremental algorithm, experiments show that the proposed algorithm can reduce the flip-flop count by 11% and look-up table (LUT) count by 5% while improv- ing the minimum clock period by 6%. The runtime is also reduced by 9% of the design flow. 展开更多
关键词 linear-time retiming sequential optimization sharing register field programmable gate array (FPGA)
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部