Proteus程序支持的格式包括：
Intel Hex Files：
这是一种常见的可执行文件格式，用于存储程序的机器代码。在Proteus中，可以使用Intel Hex Files进行单片机仿真。
OMF51 Files：
OMF51（Open Microcontroller Firmware File）是一种为51系列单片机设计的可执行文件格式。Proteus支持这种格式，以便进行仿真。
UBROF Files：
UBROF（Universal Bootloader Object File）是一种通用引导程序文件格式，Proteus也支持这种格式，用于在仿真环境中加载和执行引导程序。
HEX Files：
HEX（Hexadecimal）文件是一种二进制文件格式，用于存储程序的十六进制表示。在Proteus中，可以将C语言编写的程序编译成HEX文件，然后导入到仿真电路中进行测试。
DSN Files：
DSN（Design Source Name）文件是Proteus中用于存储电路仿真设置和结果的格式。在Proteus中，可以将设计好的电路原理图保存为DSN文件，并进行仿真。
SCH Files：
SCH（Schematic）文件是Proteus中用于存储电路原理图的格式。通过将电路原理图保存为SCH文件，可以在Proteus中进行电路设计和仿真。
LXT Files：
LXT（Layout）文件是Proteus中用于存储PCB布局的格式。通过将PCB布局保存为LXT文件，可以在Proteus中进行PCB设计和布局。
BIN Files：
BIN（Binary）文件是Proteus中用于存储二进制数据的格式。在Proteus中，可以将编译后的程序或其他二进制数据保存为BIN文件，并进行相关操作。
EXE Files：
EXE（Executable）文件是Proteus中用于存储可直接运行的仿真程序。通过将仿真程序保存为EXE文件，可以在不同的操作系统上运行仿真程序。
建议根据具体需求选择合适的文件格式，以便在Proteus中高效地进行单片机系统的设计和仿真。