期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Chisel构建处理器模型的功能验证方法研究
1
作者
吴乐宁
王淼
陈福
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2023年第5期1024-1032,共9页
随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set archi...
随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set architecture,ISA)的处理器模型ARMChisel,该处理器模型采用新型的硬件语言Chisel构建,是一个具有高复杂性的硬件设计。基于这一嵌入式处理器模型:①设计了支持ARM V4 ISA架构全部指令的随机指令生成器,提高了生成测试激励的速度;②根据新型构建语言Chisel的特点,针对被测处理器模型设计了Chisel层面初级验证、覆盖率快速验证、直接测试验证和复杂应用程序验证策略,确保达到预期的覆盖率;③在Chisel环境和Verilog环境中搭建了基于嵌入式处理器模型的测试平台,测试平台收集覆盖率同时能快速准确地发现错误并定位错误,提高了验证速度。采用FPGA(field programmable gute array)方法加速大型应用程序的验证,缩短了验证周期。
展开更多
关键词
Chisel
处理器模型验证
ARM架构
指令生成器
测试激励
下载PDF
职称材料
声波测井仪中的指令发生电路实验设计
2
作者
张娜娜
杨俊
+2 位作者
高彦鹏
薛方刚
高延新
《辽宁化工》
CAS
2013年第7期816-818,822,共4页
双发双收声波测井仪地面部分的主要功能是:按一定的时序产生一系列控制信号,控制下井仪发射探头的交替发射;接收井下传输来的信号,经处理后得到声波时差。指令发生电路的主要功能是对ΔT计数和缓存、刻度计数、跟踪延迟、时差比较等电...
双发双收声波测井仪地面部分的主要功能是:按一定的时序产生一系列控制信号,控制下井仪发射探头的交替发射;接收井下传输来的信号,经处理后得到声波时差。指令发生电路的主要功能是对ΔT计数和缓存、刻度计数、跟踪延迟、时差比较等电路作出时序上的控制。本设计根据已有的指令时序图来设计电路原理。整个时序由一个时钟信号同步,时钟信号由555定时器及外围电路构成的多谐振荡器组成,输出分三级频率可调的方波(地面同步信号)。将时钟信号接入74LS74双D触发器进行二分频来产生上控方波(上升沿触发)。地面同步信号经三路CD4538集成电路构成的单稳态电路(下降沿触发)输出脉宽均为5 ms的脉冲信号。用仿真软件multisim 10.0进行仿真,得到电路参数与波形,与时序要求波形一致,最后连接电路并进行了调试。
展开更多
关键词
声波测井仪
双发双收声系
指令发生器
下载PDF
职称材料
指令脉冲发生器中的在线诊断机制
3
作者
程良鸿
高安生
钱新恩
《湖北汽车工业学院学报》
1997年第3期46-50,共5页
为解决指令脉冲发生器的精确性与可靠性问题,给出一种具有实时诊断机制的指令脉冲发生器的设计思想与实现方法。结合基于PC总线的CNC系统,介绍了这种指令脉冲发生器的多通道应用实例。
关键词
指令脉冲发生器
在线诊断
CNC系统
伺服控制
精确性
可靠性
全文增补中
题名
Chisel构建处理器模型的功能验证方法研究
1
作者
吴乐宁
王淼
陈福
机构
航空工业西安航空计算技术研究所
西北工业大学计算机学院
出处
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2023年第5期1024-1032,共9页
文摘
随着航空硬件设计复杂度的提高,芯片验证技术已经成为了芯片设计的难点。为了有效缩短设计流程的总体工作时间,有必要在占据设计大量时间的验证中,研究出快速寻找设计错误的方法。被测设计是兼容ARM V4指令集架构(instruction set architecture,ISA)的处理器模型ARMChisel,该处理器模型采用新型的硬件语言Chisel构建,是一个具有高复杂性的硬件设计。基于这一嵌入式处理器模型:①设计了支持ARM V4 ISA架构全部指令的随机指令生成器,提高了生成测试激励的速度;②根据新型构建语言Chisel的特点,针对被测处理器模型设计了Chisel层面初级验证、覆盖率快速验证、直接测试验证和复杂应用程序验证策略,确保达到预期的覆盖率;③在Chisel环境和Verilog环境中搭建了基于嵌入式处理器模型的测试平台,测试平台收集覆盖率同时能快速准确地发现错误并定位错误,提高了验证速度。采用FPGA(field programmable gute array)方法加速大型应用程序的验证,缩短了验证周期。
关键词
Chisel
处理器模型验证
ARM架构
指令生成器
测试激励
Keywords
Chisel
processor
model
validation
ARM
architecture
instruction
generator
test
stimulus
分类号
TP368.1 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
声波测井仪中的指令发生电路实验设计
2
作者
张娜娜
杨俊
高彦鹏
薛方刚
高延新
机构
西安石油大学
长庆油田第五采油厂
出处
《辽宁化工》
CAS
2013年第7期816-818,822,共4页
文摘
双发双收声波测井仪地面部分的主要功能是:按一定的时序产生一系列控制信号,控制下井仪发射探头的交替发射;接收井下传输来的信号,经处理后得到声波时差。指令发生电路的主要功能是对ΔT计数和缓存、刻度计数、跟踪延迟、时差比较等电路作出时序上的控制。本设计根据已有的指令时序图来设计电路原理。整个时序由一个时钟信号同步,时钟信号由555定时器及外围电路构成的多谐振荡器组成,输出分三级频率可调的方波(地面同步信号)。将时钟信号接入74LS74双D触发器进行二分频来产生上控方波(上升沿触发)。地面同步信号经三路CD4538集成电路构成的单稳态电路(下降沿触发)输出脉宽均为5 ms的脉冲信号。用仿真软件multisim 10.0进行仿真,得到电路参数与波形,与时序要求波形一致,最后连接电路并进行了调试。
关键词
声波测井仪
双发双收声系
指令发生器
Keywords
acoustic
logging
instrument
the
double
launching
and
double
accepting
sound
system
instruction
generator
分类号
TE927 [石油与天然气工程—石油机械设备]
下载PDF
职称材料
题名
指令脉冲发生器中的在线诊断机制
3
作者
程良鸿
高安生
钱新恩
机构
湖北汽车工业学院电气工程系
出处
《湖北汽车工业学院学报》
1997年第3期46-50,共5页
文摘
为解决指令脉冲发生器的精确性与可靠性问题,给出一种具有实时诊断机制的指令脉冲发生器的设计思想与实现方法。结合基于PC总线的CNC系统,介绍了这种指令脉冲发生器的多通道应用实例。
关键词
指令脉冲发生器
在线诊断
CNC系统
伺服控制
精确性
可靠性
Keywords
instruction
pulse
train
generator
On
-
line
diagnostic
fuction
CNC
system
Servo
control
分类号
TM4 [电气工程—电器]
全文增补中
题名
作者
出处
发文年
被引量
操作
1
Chisel构建处理器模型的功能验证方法研究
吴乐宁
王淼
陈福
《西北工业大学学报》
EI
CAS
CSCD
北大核心
2023
0
下载PDF
职称材料
2
声波测井仪中的指令发生电路实验设计
张娜娜
杨俊
高彦鹏
薛方刚
高延新
《辽宁化工》
CAS
2013
0
下载PDF
职称材料
3
指令脉冲发生器中的在线诊断机制
程良鸿
高安生
钱新恩
《湖北汽车工业学院学报》
1997
0
全文增补中
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
