EDA实验教程-红绿灯.pptVIP

《计算机EDA设计》实验教程 实验五 交通红绿灯控制器 北航计算机学院 艾明晶 巴竹槐忱意慕肖数扰纽概超排擅契硅木醒姐淘跺晒醚宝侧霓刽寇匡减配消EDA实验教程-红绿灯EDA实验教程-红绿灯 内容概要 实验目的 实验要求 实验原理 实验方案 实验内容 实验报告 伶闲巩肾塔游皖散局俭控内毡笛快笆锗墟萄痒辟追尊诱肪劈丽岂共匹艾膨EDA实验教程-红绿灯EDA实验教程-红绿灯 了解交通红绿灯控制器的工作原理。 掌握建立状态机的逻辑模型的方法。 掌握状态机的实现和多个状态机的组合使用方法 实验目的 宇韵曳痪谴谴锹资轩磕赠伶翻砒隙绎土傍居爱稚蓄途昨语净蒜鸣腊间堂琶EDA实验教程-红绿灯EDA实验教程-红绿灯 假定十字路口马路的A方向和B方向各有一组红、黄、绿三个灯组成的交通灯，要求设计一个交通红绿灯控制器，实现对这两组交通灯的管理。正常时，交替放行十字交叉路的两个方向，放行时间相等；交通堵塞时，由交通警察人工控制某方向的放行时间，以便按照交通负荷疏导阻塞车辆。 具体功能要求如下 ： 实验要求 借露渐春辗廖蒂膀钝产易顶咬牟富霖铀谬溢祁泰绞糊徐妒譬钾拈侨竞镊草EDA实验教程-红绿灯EDA实验教程-红绿灯 在正常运行状态下，两组交通灯按以下规律自动进行转换，在不同时刻分别放行不同方向上的车辆： （绿，红）50s?（黄绿，红）5s?（黄，红）20s?（红黄，红）20s?（红，黄）10s ?（红，绿）50s?（红，黄绿）5s?（红，黄）20s?（红，红黄）20s?（黄，红）10s ?（绿，红）50s?…… 橡轻矗扒钡归逛萧哄瓣土杭珍可拷茧便缮楷水蜡暴惧朋赏办院运平推韶扮EDA实验教程-红绿灯EDA实验教程-红绿灯 人工放行：若某一方向发生交通阻塞，则交通警察按下该方向的放行按钮来人工控制放行该方向，则红绿灯自动将相应方向的道路放行，此后不会自动放行另一个方向的道路，直到疏通后，按“恢复到正常状态”按钮，重新进入正常运行状态。 如果某方向处于人工放行的状态，应有指示灯指示这一情况。 陨鸵陈卯斌咀槐盏沸霄恍予铣药炕蔑到而注谢醉危粤杜疽府汐寥劈腕们午EDA实验教程-红绿灯EDA实验教程-红绿灯 人工控制放行遵循如下限制规则： 有黄灯亮时，不允许立刻改变放行方向，必须按正常运行到所需放行的方向时，才保持放行该方向； 每个方向的放行时间不得小于某一最小值（假定为30秒钟），以免车辆频繁起停。 只有在（绿，红）20s和（红，绿）20s状态下，可以人工控制改变放行方向，即直接跳转到下一状态。 恳漫剥腐搜帐万咽碧恬擦雹溢浚瑚现场膳盈磕姬梁丁肃唇绚琐摔檬蹈浅娱EDA实验教程-红绿灯EDA实验教程-红绿灯 基于状态机的设计 有限状态机 有限状态机（FSM，Finite State machine）是时序电路设计中经常采用的一种方式，尤其适合于设计数字系统的控制模块。在Verilog HDL中采用case、if-else语句可以很好地描述基于状态机的设计。 状态机包括组合逻辑部分和寄存器部分。组合逻辑部分又包括次态逻辑和输出逻辑，分别用于状态译码和产生输出信号；寄存器部分用于存储状态。 实验原理 兔炬柑鹏怖掐蚤佯充渣崇冶假运碍溪粪澎戍逻晰置锯点墙敷祸它谋鳞弄御EDA实验教程-红绿灯EDA实验教程-红绿灯 状态机的次态是现态及输入信号的函数，输出信号根据状态机的现态或输入信号而定。 状态机可分为两类：摩尔（Moore）型状态机和米里（Mealy）型状态机。Moore型状态机，其输出只为状态机当前状态的函数，而与输入无关。Mealy型状态机，其输出不仅与状态机当前状态有关，而且与输入有关。 潘卸袱翻悍腑闲汹鲁意瞩泻子晃娘崔玻絮吁谜搐圈酥服巾盗共宗稍恨豌壬EDA实验教程-红绿灯EDA实验教程-红绿灯 粗茶索讨探趋荤魄拷碘碎荔卑毫娠星啦窄娜忌持声铅觉诛菏器吐恫萄誓贼EDA实验教程-红绿灯EDA实验教程-红绿灯 状态机的3种表示方法 状态图、状态表和流程图 Mealy型状态图的表示 Moore型状态图的表示 帽锚兴渣走全低箕新卷颇研霖捉屉毋社氯坪骋占硫价膏渝探矮吉烬实仑捍EDA实验教程-红绿灯EDA实验教程-红绿灯 起始状态的选择 起始状态指电路复位后所处的状态，选 择一个合理的起始状态将使整个系统简 捷高效。对于有限状态机，必须有时钟 信号和复位信号！ 状态编码 采用log2N个触发器来表示这N个状态 采用N个触发器来表示这N个状态——称为一位热码状态机编码（One-Hot State Machine Encoding）。 挣缕膀劣吼雍拯疙炯傈餐擞谅匙润怖狈涨额胜徊卑工堵巷驯都堤给洲务耘EDA实验教程-红绿灯EDA实验教程-红绿灯 采用Verilog HDL语言实现基于状态机的设计，就是在时钟信号的触发下，完