-
公开(公告)号:CN100476837C
公开(公告)日:2009-04-08
申请号:CN200610011814.0
申请日:2006-04-28
Applicant: 中国科学院计算技术研究所
Abstract: 本发明公开了一种通用微处理器设计的仿真验证中FPGA物理原型验证装置。该装置包括:一主控制电路,该主控制电路具有一处理器接口用于连接被验证微处理器;一电源及时钟产生电路,与被验证微处理器连接;一工作内存和一参考内存分别通过主控制电路上的存储器接口与所述主控制电路连接;所述主控制电路还具有一个与外部工作站连接的通讯接口。本发明的验证装置可以不用启动操作系统软件就可以完成对系统的初始化工作,同时可以将随机指令序列装载到相应的内存中,而且可以对运行的结果进行正确性检测,能够完成随机指令测试,并且测试速度快。
-
公开(公告)号:CN101063979A
公开(公告)日:2007-10-31
申请号:CN200610011814.0
申请日:2006-04-28
Applicant: 中国科学院计算技术研究所
Abstract: 本发明公开了一种通用微处理器设计的仿真验证中FPGA物理原型验证装置。该装置包括:一主控制电路,该主控制电路具有一处理器接口用于连接被验证微处理器;一电源及时钟产生电路,与被验证微处理器连接;一工作内存和一参考内存分别通过主控制电路上的存储器接口与所述主控制电路连接;所述主控制电路还具有一个与外部工作站连接的通讯接口。本发明的验证装置可以不用启动操作系统软件就可以完成对系统的初始化工作,同时可以将随机指令序列装载到相应的内存中,而且可以对运行的结果进行正确性检测,能够完成随机指令测试,并且测试速度快。
-
公开(公告)号:CN1936860A
公开(公告)日:2007-03-28
申请号:CN200510086445.7
申请日:2005-09-20
Applicant: 中国科学院计算技术研究所
IPC: G06F11/36
Abstract: 本发明公开了一种在指令级随机测试中支持EJTAG测试的方法,包括步骤:a)在指令库中添加EJTAG调试指令SDBBP/DRET;b)在指令模版中添加调试指令相关的约束;c)对指令级随机测试产生引擎进行改进;d)在指令级模拟器中加入调试指令SDBBP/DRET的执行机制,同时添加调试控制寄存器;e)在仿真环境中加入信号输入、输出和比较逻辑;f)在仿真环境提供的存储器中预存EJTAG调试例外处理程序。本发明对传统的指令级随机测试技术进行有效改造,在保持传统指令级随机测试优势的同时,有效支持包含EJTAG片上交叉调试器的微处理器核的测试和验证。
-
-