编写c程序，基于STM32单片机，使用Proteus仿真完成综合设计。具体任务要求如下：在程序整个执行过程中，要求控制单片机A的LED1灯进行闪烁，提示系统正在运行。按下按键1,控制单片机A向单片机B发送自己学号。单片机B判断接收到的数据是否是自己的学号，如果是，则单片机B控制LED2灯亮，否则LED2灯灭。按下按键2，控制单片机B向单片机A发送自己学号。单片机A判断接收到的数据是否是自己的学号，如果是，则单片机A控制LED3灯亮，否则LED3灯灭。

由于这是一个综合设计任务，需要涉及到硬件和软件两个方面。下面是一个大致的流程：

1. 硬件设计：使用STM32单片机，连接LED1、LED2、LED3和两个按键。按键1连接到单片机A的GPIO，按键2连接到单片机B的GPIO。单片机A和单片机B之间使用串口通信，可以使用USART模块实现。

2. 软件设计：编写C语言程序，在程序整个执行过程中，控制单片机A的LED1灯进行闪烁。使用中断处理函数来检测按键1和按键2的状态变化，并在按键按下时发送数据。使用串口中断处理函数来接收数据，并在接收到数据后进行比较，控制相应的LED灯亮或灭。

下面是一个大致的代码框架：

#include "stm32f10x.h"

#define LED1_PIN GPIO_Pin_0
#define LED1_PORT GPIOA
#define LED2_PIN GPIO_Pin_1
#define LED2_PORT GPIOA
#define LED3_PIN GPIO_Pin_2
#define LED3_PORT GPIOA
#define KEY1_PIN GPIO_Pin_0
#define KEY1_PORT GPIOB
#define KEY2_PIN GPIO_Pin_1
#define KEY2_PORT GPIOB
#define USART_TX_PIN GPIO_Pin_9
#define USART_TX_PORT GPIOA
#define USART_RX_PIN GPIO_Pin_10
#define USART_RX_PORT GPIOA
#define USART_BAUDRATE 9600
#define USART1_IRQn USART1_IRQn

uint8_t my_id[] = "xxxxxx"; // 将自己的学号填入这里

void delay(uint32_t ms)
{
    // 实现延时函数
}

void LED1_Init()
{
    GPIO_InitTypeDef GPIO_InitStructure;

    RCC_APB2PeriphClockCmd(RCC_APB2Periph_GPIOA, ENABLE);

    GPIO_InitStructure.GPIO_Pin = LED1_PIN;
    GPIO_InitStructure.GPIO_Mode = GPIO_Mode_Out_PP;
    GPIO_InitStructure.GPIO_Speed = GPIO_Speed_50MHz;
    GPIO_Init(LED1_PORT, &GPIO_InitStructure);
}

void LED2_Init()
{
    // 实现LED2初始化函数
}

void LED3_Init()
{
    // 实现LED3初始化函数
}

void KEY1_Init()
{
    // 实现按键1初始化函数
}

void KEY2_Init()
{
    // 实现按键2初始化函数
}

void USART1_Init()
{
    // 实现USART1初始化函数
}

void send_data(uint8_t* data, uint16_t len)
{
    // 实现串口发送函数
}

uint8_t receive_data()
{
    // 实现串口接收函数
}

void USART1_IRQHandler()
{
    // 实现串口中断处理函数
}

int main()
{
    uint8_t buf[10];

    SysTick_Config(SystemCoreClock / 1000);

    LED1_Init();
    LED2_Init();
    LED3_Init();
    KEY1_Init();
    KEY2_Init();
    USART1_Init();

    while (1)
    {
        GPIO_SetBits(LED1_PORT, LED1_PIN); // 控制LED1灯亮
        delay(500);
        GPIO_ResetBits(LED1_PORT, LED1_PIN); // 控制LED1灯灭
        delay(500);
    }
}

void EXTI0_IRQHandler()
{
    // 实现按键1中断处理函数
}

void EXTI1_IRQHandler()
{
    // 实现按键2中断处理函数
}

需要注意的是，以上代码只是一个大致的框架，具体实现还需要根据硬件和软件的具体情况进行调整。同时，由于涉及到STM32单片机的硬件设计和Proteus仿真，也需要具备一定的电路设计和仿真经验。