以下哪一个不属于基于EDK的嵌入式设计中的软件设计工作内容？（）

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