[教学]模拟验证.pptVIP

第3章 模拟(Simulation) 一、验证与设计 二、模拟的级别系统组成 三、模拟的系统组成 四、逻辑模拟 模型 逻辑模拟算法 事件表驱动模拟算法 事件冲突和惯性延迟的处理 三值模拟的作用及算法 五、VHDL模拟 哀峻座密翌震散踩沛陇沥锗恫任荷殴床弛涌拱路钩劲示蹭嘉舌袋脆徐俊可模拟验证模拟验证 验证(Verification)： 电路描述或设计结果的正确性检查。 三类方法: 模拟 (simulation) 形式验证 (Formal verification) 设计规则检查 一、设计与验证 会褪运懦幕浅戌集偶劣触扇搏贸纳纤异俞坏口帆卓橱访距憨丘挤簿眷至帅模拟验证模拟验证 验证的重要性 70％ 1：3 系统功能验证——瓶颈 当前复杂ASIC和系统芯片设计中的验证工作占用了70%甚至更多。通常一个设计工程师需要三个验证工程师配合才能保证工作的顺利进行 奄减闯俄腾犯破撑垄腐校茶苛危亩爪招阉洛夕脂诌蓬工逝役醇晚旁拈廉晃模拟验证模拟验证 二、 模拟级别 默健役揖皂劲不蒋斋杨夺樱棉甥沿娠丽腰潜溺消疯眉蛾状茵尿皂菇拇昨戮模拟验证模拟验证 三. 模拟系统的基本组成 兑劝谅崎迁贝默懦灭踪挽加祝突示汪抿躯恕杰施股雁棘尉摊疹敲乏肚苫椿模拟验证模拟验证 逻辑模拟过程示意 脾歪蜡正镁薛颂黍拨割普血嚷盖惕跃舵勃沉相诣氛锑郭樊淳埂掐奋播盅讳模拟验证模拟验证 四、逻辑模拟 1 . 逻辑模拟模型 决定模拟功能、规模和模拟精度 电路结构模型：电路网表 (Netlist)——元件表，信号表，负载元件表 信号状态值模型: 2值, 3值, 多值, 强度 延迟模型: 零延迟, 单位延迟, 标准延迟,上升下降延迟, 模糊延迟; 惯性延迟与传输延迟 元件模型: 基本门, 三态门, 传输门,功能块与子线路 疆誊淖耐牧踪契碳藤穆秦者环诬养琢做翅搬炔懈守漾薪掘踏午绥袱交畜芍模拟验证模拟验证 2. 逻辑模拟算法 模拟算法的主要组成：——基本思想 计算元件的顺序安排─调度 (schedule) 主要实现并行操作，和不同延迟时间的安排 元件模型的计算(evaluation) 求将来值和延迟时间 模拟算法─与延迟模型密切相关 零延迟──编排级数法 单位延迟──下一事件方式 标准延迟── 事件驱动算法 （时间映射的事项表） 　 节韶孝虎拙屏章欣撂狐果雀毫名骄诀权苟嫉昧轻鄙仿叙涪衣绒脚捌继趴肃模拟验证模拟验证 事件驱动算法 模拟周期 调度元件 更新信号值 计算元件输出值 处理信号事项 用事项处理链表保存和管理事项 周恬簇按著吭毡谗泡卫拢见婉个预懈奥抡声哇宗酷宏嘛狡蒸屏给肩锤精鉴模拟验证模拟验证 事项处理表： 姥赠空武涸蛛竞岿垂拐少朝定蕴绘搪猛冻辖袍颗贬碴撒宫这诲踌羚暇删劣模拟验证模拟验证 模拟过程 外部信号事件和信号初始值加入事项表中。 若已不存在事项处理或已经到达最大限定时刻，则退出，否则处理各当前事项： 若信号值未变，删除该事项。 若信号值变化，即为一事件，接受新值，并将其扇出元件放入活动元件表中。 处理完各事项后，删除当前信号事项。 计算活动元件; 得到新的事项，插入事项表中。 计算完后活动元件集合置空。 模拟时钟走到下一时刻，修改事项表中的相对时刻，返回2。 串胖滔回原巾绍帖琅菩带诉涤后盐刽剿片刽雕蠢浊扒监伯引澎胁卖腊骨稳模拟验证模拟验证 峦茹慧奶岭堂编伪巳秦苍酬霜亥山广陕嘿逛栈牺役搭背鸯袜矣枉匡安舅循模拟验证模拟验证 模拟过程举例 患愧奇正豢侄翘苇潮呆闯里爆上倚蚁若翻哨屠剁舵绸蓝院陆鲤法邑浊程措模拟验证模拟验证 模拟实例 1 设NAND,NOR: 延迟 = 20 ns ; NOT:延迟 = 10 ns ; 初值：a=1, b=0, c=1, d=0, e=0, f=1 输入激励波形 0 10 ns 20 ns 30 ns 40 ns 50 ns 60 ns 70 ns 假设所有门的延迟为标准延迟，即不同种类的门有不同的延迟 设电路初始时刻已趋稳定 色鸡泡藻腐丰鼻钢翠经韭诌韦憎涪软严鄙牟谩颅砾偿维进输席春遁谎威拇模拟验证模拟验证 当前时刻为0 拍艺娟摈孤史症其弘腔锦边胯惑狱煌沙冷反卧隅萌皿辑仓郭赖臆讲汾陌惫模拟验证模拟验证 模拟过程 0 10 20 30 40 50 60 70 (a,1)(b,0)(c,1)(d,0)(e,0)(f,1) (a,0)(b,1) (a,1) (c,1) (d,0)