基于嵌入式方法的浮点单元验证系统设计

• 作者: 杨靓 王云贵
• 来源期刊: 微处理机
• 学科: 工学
• 关键词: Powerpc405 APU控制器 自定义指令 验证
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 大规模集成电路设计、制造与应用
• 页码范围: 7-11
• 分类号: TP391
• 字数: 3476字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-2279.2012.01.003

摘要

浮点单元的验证是最具挑战性的任务之一.基于Xilinx FX系列带powerpc 405硬核的FPGA,利用嵌入式系统开发套件EDK,设计了一个嵌入式系统对浮点单元进行验证.验证原理为把用户IP(被测浮点单元)通过APU控制器连接到powerpc 405处理器核,编写测试程序,通过自定义指令对用户IP进行访问,根据程序的运算结果判断被测IP的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王云贵		4	2	1.0	1.0
2	杨靓		36	234	10.0	14.0