简单说：
assign语句里必须是wire型，如果定义reg没准会报错；
always块里的输出变量必须是reg型，定义wire同样会报错。注意是输出变量才有这要求。

深点说：
reg型变量的值保持不变，除非修改它的条件完全成立。