单项选择题

A.编写独立于器件的C/C++应用程序,或编写自行设计的IP核驱动程序
B.根据EDK对系统的配置脚本生成相对应的HAL库,对程序进行软件级仿真和调试,还可以进行操作系绕配置
C.将编译、链接后生成的可执行程序下载到目标器件,进行硬件级调试,测试和优化设计
D.使用ISE编程器将生成的配置文件下载到FPGA,进行后端验证和测试