生成文件的格式是可以选择的，可以生成hex文件，也可选择输出的文件格式，option选项中linker选项，output选项，第一项输出文件，若选择输出的就是.d43格式的，第二项format，选择后在线仿真，一般是hex文件，other选项，下有很多格式，比如txt，会生成txt文件，用第三方下载工具下载时可以选择txt文件格式，其实不管什么格式的文件，效果都是一样的，最后你下载到单片机中的都是二进制的。
