一、 填空题 逻辑模拟中检测电路竞争冒险常利用 值表示 的概念和 模拟算法来实现。
二、 问答题 第1题 为什么要对设计进行模拟验证?什么时候需要模拟验证? 第2题 实现模拟验证的基本方法是什么? 第3题 逻辑电路如何描述的?如何描述元件及其连接关系?模拟程序中的电路模型与中间表示格式有何区别? 第4题 事件驱动模拟算法的基本思想和步骤是什么?如何体现电路运行的并行性?如何尽量减少无用的计算和重复的计算? 第5题 逻辑模拟算法中如何体现选择追踪的思想,即只有输入端有变化才进行计算。 第6题 如果有的外部输入信号用周期波形给定:(ti, th, tl), ti表示起始段非周期部分宽度,th表示高电平脉冲宽度,tl表示低电平脉冲宽度。如何修改模拟算法?如何取得新值?如何保存周期波形本身的状态? 第7题 下图为一个电路图及其输入波形,其元件的延迟模型及延迟时间分别给定如附表。用时间映射事件驱动算法求出每种情形下各点波形,波形图上应注明波形发生时刻。设电路初始时刻已趋稳定。