如何在Keil环境下使用C语言为FPGA设计一个程序，实现连续交替显示数码管上的数字123和456，每五个秒切换一次？同时，请提供必要的步骤和代码片段来指导这个过程。

在Keil环境下使用C语言为FPGA设计程序，通常需要借助外部工具如Xilinx SDK或Lattice Diamond等，因为C语言并不是直接针对FPGA编程的语言。不过，我们可以创建一个软件模拟的定时器来触发数码管的切换。这里是一个简化版的指导：

1. **安装工具链和库**:
- 安装支持FPGA的SDK，例如Xilinx ISE或Lattice Diamond。
- 安装Keil MDK，并配置好与FPGA开发相关的选项。

2. **建立工程**:
- 创建一个新的MDK工程，选择"Target -> New Target File"，选择FPGA平台对应的CPU模型，如ARM Cortex-M。

3. **编写C代码**:
- 首先，我们需要头文件支持，如`xparameters.h` 和 `xil_io.h`（假设你使用的是Xilinx器件）。在工程中添加这些头文件。

4. **创建定时器函数**:
使用RTOS或者延时函数来实现每5秒的间隔。例如，使用μCOS-II这样的RTOS，你可以创建一个任务来处理数码管的切换。

#include "xparameters.h"
#include "xil_io.h"

void timer_handler(void *param) {
    int digit = 0;
    
    while (1) {
        xil_Out32(XILINX_PARAM_BASE + XPAR_XPARAMS_AXI_TIMER_0_REG_OFFSET, ++digit); // 更新数码管显示
        vTaskDelay(pdMS_TO_TICKS(5000)); // 每5秒延时
        if (digit > 2) { // 切换到下一个数字
            digit = 0;
        }
    }
}

5. **初始化定时器和数码管**:
- 初始化定时器，设置其周期和中断回调。这里假设定时器0已配置好。

6. **启动定时器和任务**:
- 在main函数中，开启定时器并创建定时器处理任务。

注意，以上代码仅为示例，实际应用中需要根据你使用的具体FPGA平台、CPU型号以及SDK的具体API来调整。另外，对于真正的FPGA数码管控制，你还需要在底层代码中操作寄存器，而不仅仅是修改变量。