期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
针对流水冲突的微处理器功能验证程序的自动生成
1
作者
虞志益
顾震宇
+1 位作者
沈泊
章倩苓
《小型微型计算机系统》
CSCD
北大核心
2004年第7期1212-1215,共4页
功能验证是处理器设计中的关键问题 ,而基于激励向量仿真的方法是功能验证的主流技术 ,其难点在于如何产生高效的测试程序 .研究了针对流水冲突的测试程序的自动生成方法 .与常规技术相比 ,该方法适用于深度流水、指令系统复杂的处理器 ...
功能验证是处理器设计中的关键问题 ,而基于激励向量仿真的方法是功能验证的主流技术 ,其难点在于如何产生高效的测试程序 .研究了针对流水冲突的测试程序的自动生成方法 .与常规技术相比 ,该方法适用于深度流水、指令系统复杂的处理器 ,具有自动化程度高、针对性强等优点 .本文方法已应用于 32位 RISC处理器的验证中 。
展开更多
关键词
流水冲突
RISC处理器
功能验证
下载PDF
职称材料
一种流水冲突的最优调度解
被引量:
1
2
作者
张义清
《南通工学院学报(自然科学版)》
2003年第4期15-17,共3页
文章对流水冲突问题进行分析,给出了用时段间隔矩阵表示流水线冲突状态的方法。该方法方便明确,易于计算机实现。同时给出了实现流水线冲突调度的定理及其证明。
关键词
流水
线
冲突
最优调度解
时段间隔矩阵
吞吐率
下载PDF
职称材料
应用Petri网模型解决向量处理器流水线冲突
被引量:
1
3
作者
郭禾
李文甲
+2 位作者
刘晓飞
邱铁
李强
《系统仿真学报》
CAS
CSCD
北大核心
2008年第S2期144-147,共4页
针对自行设计的32位向量处理器流水线中的3种冲突:结构相关、控制相关和数据相关,建立了时延Petri网模型。该模型给出计算流水线所需停顿周期数的具体算法,根据所建模型中使用权的状态得出数据前递需要具备的条件。应用该算法计算流水...
针对自行设计的32位向量处理器流水线中的3种冲突:结构相关、控制相关和数据相关,建立了时延Petri网模型。该模型给出计算流水线所需停顿周期数的具体算法,根据所建模型中使用权的状态得出数据前递需要具备的条件。应用该算法计算流水线所需停顿周期数来消解冲突,并通过对向量处理器指令仿真时序图的分析验证了结果的正确性。
展开更多
关键词
向量处理器
PETRI网
流水
线
冲突
指令时序仿真
下载PDF
职称材料
RISC微处理器流水线的测试
被引量:
6
4
作者
李瑛
高德远
张盛兵
《小型微型计算机系统》
CSCD
北大核心
2005年第6期1110-1112,共3页
现代微处理器的指令都是流水执行,流水线测试也应成为功能测试的一部分.讨论了指令在流水线中的执行以及指令间的依赖关系,给出了NRS4000微处理器的流水线的依赖图及精细依赖图.然后,依据指令在流水线的状态,将指令分成六类,分析了流水...
现代微处理器的指令都是流水执行,流水线测试也应成为功能测试的一部分.讨论了指令在流水线中的执行以及指令间的依赖关系,给出了NRS4000微处理器的流水线的依赖图及精细依赖图.然后,依据指令在流水线的状态,将指令分成六类,分析了流水线中所有可能出现的“写后读”冲突.最后,给出了NRS4000微处理器的流水线测试序列和测试程序.
展开更多
关键词
微处理器测试
流水
线
流水
线
冲突
下载PDF
职称材料
基于仿真的32位RISC微处理器的功能验证方法
被引量:
6
5
作者
顾震宇
虞志益
+1 位作者
沈泊
章倩苓
《小型微型计算机系统》
CSCD
北大核心
2004年第4期752-756,共5页
提出了一种基于仿真 (simulation- based)的 32位 RISC微处理器的功能验证方法 .以伪随机生成和针对流水线模型生成激励向量方式相结合为主的验证环境的建立 ,提高了功能验证的自动化程度和效率 ;同时采用代码覆盖率来分析和指出功能验...
提出了一种基于仿真 (simulation- based)的 32位 RISC微处理器的功能验证方法 .以伪随机生成和针对流水线模型生成激励向量方式相结合为主的验证环境的建立 ,提高了功能验证的自动化程度和效率 ;同时采用代码覆盖率来分析和指出功能验证中的遗漏之处 ,从而提高了整个验证环境的完备性 .另外 ,通过 FPGA硬件验证的结果以及 32位RISC微处理器流片的测试结果 。
展开更多
关键词
RISC
功能验证
流水
线模型
流水
线
冲突
伪随机
代码覆盖率
下载PDF
职称材料
适合行列合并译码算法的LDPC码的构造
6
作者
贺一峰
段哲民
《高技术通讯》
CAS
CSCD
北大核心
2015年第7期677-684,共8页
针对低密度奇偶校验(LDPC)码译码器使用行列合并(RCJ)译码算法时存在的流水线冲突问题,提出了一种构造适合行列合并译码算法的LDPC码的方法。该构造方法在渐进添边(PEG)构造算法的基础上,加入行运算顺序的约束条件,使得利用该算法构造的...
针对低密度奇偶校验(LDPC)码译码器使用行列合并(RCJ)译码算法时存在的流水线冲突问题,提出了一种构造适合行列合并译码算法的LDPC码的方法。该构造方法在渐进添边(PEG)构造算法的基础上,加入行运算顺序的约束条件,使得利用该算法构造的LDPC码在行运算顺序上相邻两行内的非零块不同时共用一列,从而避免了硬件布局布线冲突,减少了流水线延时,提高了译码速率。仿真结果表明,用这种方法构造的LDPC码与全球微波互联接入(WiMAX)标准给出的LDPC码的译码性能相当,而且有效地减少了译码迭代次数,降低了硬件实现复杂度,提高了LDPC译码器吞吐率。
展开更多
关键词
高速通信
LDPC码
行列合并译码算法
PEG构造算法
流水
线
冲突
下载PDF
职称材料
一种语音压缩编解码芯片中调用过程的实现
7
作者
陶洪亮
吴迪
吴春瑜
《辽宁大学学报(自然科学版)》
CAS
2007年第2期104-107,共4页
针对低速率语音压缩算法对处理器系统实时处理复杂运算的性能要求,就程序调用过程的ASIC实现问题进行了对比与分析,进而提出了用层次状态寄存器控制存取算子对存储体交叉访问的方法,并结合运用寄存器窗口传递参数的功能,以及利用空指令...
针对低速率语音压缩算法对处理器系统实时处理复杂运算的性能要求,就程序调用过程的ASIC实现问题进行了对比与分析,进而提出了用层次状态寄存器控制存取算子对存储体交叉访问的方法,并结合运用寄存器窗口传递参数的功能,以及利用空指令硬布线处理流水线冲突的方法,有效地解决了TR600芯片中调用过程存在的主要问题.
展开更多
关键词
专用集成电路
调用过程
寄存器窗口
交叉访问
流水
线
冲突
下载PDF
职称材料
基于TMS320C54x DSP的RSA加解密系统
8
作者
孔德琦
谢四江
《北京电子科技学院学报》
2001年第1期40-44,共5页
RSA公钥加密体制在现代安全体制中占有重要地位。这种加密体制计算复杂度高,因此,DSP芯片是一种很好的选择。本文介绍了用TMS320C54xDSP实现RSA加密体制的一套快速算法,并给出了不同模长下RSA签名和认证时间的测试结果。
关键词
TMS320
加解密
剩余定理
流水
线
冲突
RSA算法
RSA加密体制
宏指令
C54X
RSA加密算法
RSA公钥
下载PDF
职称材料
题名
针对流水冲突的微处理器功能验证程序的自动生成
1
作者
虞志益
顾震宇
沈泊
章倩苓
机构
复旦大学专用集成电路与系统国家重点实验室
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第7期1212-1215,共4页
基金
国家 8 63计划项目 (2 0 0 2 AA1Z10 60 )资助
文摘
功能验证是处理器设计中的关键问题 ,而基于激励向量仿真的方法是功能验证的主流技术 ,其难点在于如何产生高效的测试程序 .研究了针对流水冲突的测试程序的自动生成方法 .与常规技术相比 ,该方法适用于深度流水、指令系统复杂的处理器 ,具有自动化程度高、针对性强等优点 .本文方法已应用于 32位 RISC处理器的验证中 。
关键词
流水冲突
RISC处理器
功能验证
Keywords
pipeline hazard
RISC processor
functional verification
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种流水冲突的最优调度解
被引量:
1
2
作者
张义清
机构
南通工学院应用数学系
出处
《南通工学院学报(自然科学版)》
2003年第4期15-17,共3页
基金
南通工学院自然科学基金(200242)
文摘
文章对流水冲突问题进行分析,给出了用时段间隔矩阵表示流水线冲突状态的方法。该方法方便明确,易于计算机实现。同时给出了实现流水线冲突调度的定理及其证明。
关键词
流水
线
冲突
最优调度解
时段间隔矩阵
吞吐率
Keywords
flow - shop
matrix of time - period
vector of conflict
分类号
O232 [理学—运筹学与控制论]
下载PDF
职称材料
题名
应用Petri网模型解决向量处理器流水线冲突
被引量:
1
3
作者
郭禾
李文甲
刘晓飞
邱铁
李强
机构
大连理工大学软件学院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第S2期144-147,共4页
文摘
针对自行设计的32位向量处理器流水线中的3种冲突:结构相关、控制相关和数据相关,建立了时延Petri网模型。该模型给出计算流水线所需停顿周期数的具体算法,根据所建模型中使用权的状态得出数据前递需要具备的条件。应用该算法计算流水线所需停顿周期数来消解冲突,并通过对向量处理器指令仿真时序图的分析验证了结果的正确性。
关键词
向量处理器
PETRI网
流水
线
冲突
指令时序仿真
Keywords
vector processors
Petri nets
conflicts in pipeline
instruction sequence simulation
分类号
TP332 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
RISC微处理器流水线的测试
被引量:
6
4
作者
李瑛
高德远
张盛兵
机构
西北工业大学航空微电子中心
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第6期1110-1112,共3页
基金
国家自然科学基金(60276046)资助.
文摘
现代微处理器的指令都是流水执行,流水线测试也应成为功能测试的一部分.讨论了指令在流水线中的执行以及指令间的依赖关系,给出了NRS4000微处理器的流水线的依赖图及精细依赖图.然后,依据指令在流水线的状态,将指令分成六类,分析了流水线中所有可能出现的“写后读”冲突.最后,给出了NRS4000微处理器的流水线测试序列和测试程序.
关键词
微处理器测试
流水
线
流水
线
冲突
Keywords
microprocessor testing
pipeline
pipelining conflict
分类号
TP331 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于仿真的32位RISC微处理器的功能验证方法
被引量:
6
5
作者
顾震宇
虞志益
沈泊
章倩苓
机构
复旦大学专用集成电路与系统国家重点实验室
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第4期752-756,共5页
基金
国家 8 63计划重大项目 ( 2 0 0 2 3 AA1Z112 0 )资助
文摘
提出了一种基于仿真 (simulation- based)的 32位 RISC微处理器的功能验证方法 .以伪随机生成和针对流水线模型生成激励向量方式相结合为主的验证环境的建立 ,提高了功能验证的自动化程度和效率 ;同时采用代码覆盖率来分析和指出功能验证中的遗漏之处 ,从而提高了整个验证环境的完备性 .另外 ,通过 FPGA硬件验证的结果以及 32位RISC微处理器流片的测试结果 。
关键词
RISC
功能验证
流水
线模型
流水
线
冲突
伪随机
代码覆盖率
Keywords
RISC
functional verification
pipeline hazard
pseudo random
code coverage
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
适合行列合并译码算法的LDPC码的构造
6
作者
贺一峰
段哲民
机构
西北工业大学电子信息学院
出处
《高技术通讯》
CAS
CSCD
北大核心
2015年第7期677-684,共8页
基金
国家自然科学基金(61071083)
973计划(2009CB320403)资助项目
文摘
针对低密度奇偶校验(LDPC)码译码器使用行列合并(RCJ)译码算法时存在的流水线冲突问题,提出了一种构造适合行列合并译码算法的LDPC码的方法。该构造方法在渐进添边(PEG)构造算法的基础上,加入行运算顺序的约束条件,使得利用该算法构造的LDPC码在行运算顺序上相邻两行内的非零块不同时共用一列,从而避免了硬件布局布线冲突,减少了流水线延时,提高了译码速率。仿真结果表明,用这种方法构造的LDPC码与全球微波互联接入(WiMAX)标准给出的LDPC码的译码性能相当,而且有效地减少了译码迭代次数,降低了硬件实现复杂度,提高了LDPC译码器吞吐率。
关键词
高速通信
LDPC码
行列合并译码算法
PEG构造算法
流水
线
冲突
Keywords
high-speed communication, LDPC codes, row-column joint decoding algorithm, PEG construc-tion algorithm, pipeline collision
分类号
TN911.22 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
一种语音压缩编解码芯片中调用过程的实现
7
作者
陶洪亮
吴迪
吴春瑜
机构
辽宁大学轻型产业学院
辽宁大学物理系
出处
《辽宁大学学报(自然科学版)》
CAS
2007年第2期104-107,共4页
基金
辽宁省科技厅自然科学基金(002021)
辽宁省教育厅科学基金(2004D026)
文摘
针对低速率语音压缩算法对处理器系统实时处理复杂运算的性能要求,就程序调用过程的ASIC实现问题进行了对比与分析,进而提出了用层次状态寄存器控制存取算子对存储体交叉访问的方法,并结合运用寄存器窗口传递参数的功能,以及利用空指令硬布线处理流水线冲突的方法,有效地解决了TR600芯片中调用过程存在的主要问题.
关键词
专用集成电路
调用过程
寄存器窗口
交叉访问
流水
线
冲突
Keywords
ASIC
transfer process
parameters transfer
cross access
pipeline conflict
分类号
TN43 [电子电信—微电子学与固体电子学]
下载PDF
职称材料
题名
基于TMS320C54x DSP的RSA加解密系统
8
作者
孔德琦
谢四江
出处
《北京电子科技学院学报》
2001年第1期40-44,共5页
文摘
RSA公钥加密体制在现代安全体制中占有重要地位。这种加密体制计算复杂度高,因此,DSP芯片是一种很好的选择。本文介绍了用TMS320C54xDSP实现RSA加密体制的一套快速算法,并给出了不同模长下RSA签名和认证时间的测试结果。
关键词
TMS320
加解密
剩余定理
流水
线
冲突
RSA算法
RSA加密体制
宏指令
C54X
RSA加密算法
RSA公钥
分类号
TN918.1 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
针对流水冲突的微处理器功能验证程序的自动生成
虞志益
顾震宇
沈泊
章倩苓
《小型微型计算机系统》
CSCD
北大核心
2004
0
下载PDF
职称材料
2
一种流水冲突的最优调度解
张义清
《南通工学院学报(自然科学版)》
2003
1
下载PDF
职称材料
3
应用Petri网模型解决向量处理器流水线冲突
郭禾
李文甲
刘晓飞
邱铁
李强
《系统仿真学报》
CAS
CSCD
北大核心
2008
1
下载PDF
职称材料
4
RISC微处理器流水线的测试
李瑛
高德远
张盛兵
《小型微型计算机系统》
CSCD
北大核心
2005
6
下载PDF
职称材料
5
基于仿真的32位RISC微处理器的功能验证方法
顾震宇
虞志益
沈泊
章倩苓
《小型微型计算机系统》
CSCD
北大核心
2004
6
下载PDF
职称材料
6
适合行列合并译码算法的LDPC码的构造
贺一峰
段哲民
《高技术通讯》
CAS
CSCD
北大核心
2015
0
下载PDF
职称材料
7
一种语音压缩编解码芯片中调用过程的实现
陶洪亮
吴迪
吴春瑜
《辽宁大学学报(自然科学版)》
CAS
2007
0
下载PDF
职称材料
8
基于TMS320C54x DSP的RSA加解密系统
孔德琦
谢四江
《北京电子科技学院学报》
2001
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部