数字电路原理课程,利用EDA编程方法实现状态机 实现代码