6.6.3 计数器的行为级建模