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语言实现基于状态机的设计，就是在时钟信号的触发下，完