设计一个通过触发外部中断INT1实现的在0-3之间计数（四进制）的计数器

好的，我可以为您解答这个问题。

首先，我们需要设置外部中断INT1的触发方式为下降沿触发。这可以通过设置INTCON寄存器的相应位来实现。具体来说，我们需要将INTCON寄存器的第3位（INT1IF）清零，然后将第4位（INT1IE）设置为1，表示使能INT1中断，并将第6位（INTEDG1）设置为0，表示下降沿触发。

接下来，我们需要在中断服务程序中实现计数器的逻辑。具体来说，我们可以定义一个全局变量count，表示当前的计数值。每当INT1中断发生时，我们将count的值加1，并根据count的值更新相应的输出引脚，实现计数器的功能。需要注意的是，当count的值达到3时，需要将其重置为0，从而实现四进制计数。

最后，我们需要在主程序中初始化计数器和相应的引脚，并启用全局中断。具体来说，我们可以在main函数中将count的初始值设为0，并将相应的引脚设为输出模式。然后，我们可以将INTCON寄存器的第7位（GIE）设置为1，表示启用全局中断。

下面是一个基本的示例代码：

#include <xc.h>

// 定义计数器变量和输出引脚
unsigned char count = 0;
#define LED_PORT PORTB

void interrupt isr()
{
    if (INT1IF) {
        INT1IF = 0; // 清除中断标志位

        // 更新计数器
        count++;
        if (count == 4) {
            count = 0;
        }

        // 更新输出引脚
        LED_PORT = count;
    }
}

void main()
{
    // 初始化计数器和输出引脚
    count = 0;
    TRISB = 0x00; // 将PORTB设为输出
    LED_PORT = count;

    // 设置INT1中断触发方式为下降沿触发
    INT1IF = 0;
    INT1IE = 1;
    INTEDG1 = 0;

    // 启用全局中断
    GIE = 1;

    // 主循环
    while (1) {
        // do something
    }
}

希望这个回答能够帮助到您！