请详细说明如何通过AT89C51单片机的定时器T1产生周期为2ms的方波，并阐述实验验证的方法。

要在AT89C51单片机上使用定时器T1产生周期为2ms的方波，你需要设置定时器的工作模式和适当的初值。考虑到单片机使用的是12MHz的晶振，其机器周期为1/12MHz = 约83.33ns。为了简化计算，我们可以将机器周期视为83ns。

参考资源链接：[AT89C51定时/计数器实战：2ms/2s方波与20ms占空比矩形波生成](https://wenku.csdn.net/doc/6412b507be7fbd1778d41ae5?spm=1055.2569.3001.10343)

首先，定时器T1可以工作在模式1（16位定时器模式）或模式2（8位自动重装载模式）。这里，我们使用模式1。在这个模式下，定时器T1是一个16位的定时器，可以计数从0到65535。

要产生2ms的周期方波，我们需要定时器每1ms翻转一次输出引脚的状态。因为定时器是16位的，所以它的最大计数值是65535。因此，初值应该设置为65536 - (2ms / 83ns) = 65536 - 24400 = 41136（或十六进制的9D80H）。当定时器从这个初值计数到溢出，将会产生一个中断请求，你可以在这个中断服务程序中翻转P1.0引脚的状态。

在编程上，你需要做以下几步：
1. 设置定时器T1的控制寄存器TMOD，选择模式1并且配置为定时器模式。
2. 装载定时器初值9D80H到TH1和TL1。
3. 启用定时器T1，并允许定时器中断（设置ET1位）。
4. 在中断服务程序中，翻转P1.0的状态，并重新装载初值9D80H。

至于实验验证，你可以使用示波器或逻辑分析仪测量P1.0引脚的输出波形。你需要确保每个周期确实是2ms，并且每个周期的高电平和低电平时间都是1ms。这将验证方波的产生是否准确。

为获得更深入的理解，推荐阅读《AT89C51定时/计数器实战：2ms/2s方波与20ms占空比矩形波生成》，该资料详细介绍了如何使用AT89C51单片机的定时器，以及如何通过实际实验案例来验证理论。

参考资源链接：[AT89C51定时/计数器实战：2ms/2s方波与20ms占空比矩形波生成](https://wenku.csdn.net/doc/6412b507be7fbd1778d41ae5?spm=1055.2569.3001.10343)