自顶向下法是数字系统设计通常采用的一种方法.一般教材在讨论交通灯系统设计举例时,因为没有给出完整的ASM图,导致定时电路模块的设计过程不清晰,实质上该部分的设计采用了传统的试凑法,而非自顶向下法.为便于完整地理解自顶向下设计方法,本文给出交通灯控制系统完整的ASM图,采用自顶向下方法设计定时电路,并与试凑法设计结果进行比较.为了验证设计的正确性,采用VHDL语言描述该交通灯系统,并给出MAX+plusⅡ输出的仿真结果,证实了设计的正确性.对数字系统设计的教学具有一定的参考价值.