某产品包装生产线计数系统功能如下：每个产品经过计数装置时由机械杆碰合按键S1一次，当第一次计满一包（5个）时D1亮，计满第二包则D1亮......计满第八包则D1-D8全亮，八包包装成一箱，此后重复以上过程。编写程序实现此功能，要求使用计数器T1工作在方式1。写一个程序

为了实现这个产品包装生产线计数系统的功能，我们可以使用单片机（如Arduino或类似设备）配合定时器（如T1）来完成计数控制。以下是一个基于C语言的基本伪代码示例：

#include <avr/io.h> // 假设我们使用AVR库

// 定义寄存器和常量
const int S1_pin = 2; // 按键S1的输入引脚
const int D1_Pin = 3; // LED D1的输出引脚
const int COUNT_LIMIT = 8; // 包装的最大数量

void setup() {
    DDRB |= (1 << S1_Pin); // 设置S1 Pin为输入
    DDRB &= ~(1 << D1_Pin); // 设置D1 Pin为输出

    TCCR1A = 0b00001000; // 启动定时器T1, 方式1: CTC模式
    TCNT1 = COUNT_LIMIT - 1; // 设置初始计数值为COUNT_LIMIT - 1
}

void loop() {
    if (digitalRead(S1_pin) == HIGH) { // 当S1按键被按下
        TCNT1++; // 加一
        if (TCNT1 == COUNT_LIMIT) { // 如果达到计数限制
            for (int i = 1; i <= COUNT_LIMIT; i++) { // 点亮所有LED
                digitalWrite(D1_Pin, i == COUNT_LIMIT);
            }
            TCNT1 = 0; // 重置计数器
        }
    }

    delay(1); // 添加延时，防止按键频繁触发导致程序混乱
}

请注意，这只是一个基本示例，实际编程时需要根据使用的微控制器及其对应的头文件进行调整。此外，该代码假设了定时器T1配置正确，按键检测可靠，并且对LED的处理简单粗暴，仅当计数满时点亮。在实际应用中，可能需要添加更完善的错误处理和状态控制机制。