机译:使用符号事件传播和时间逻辑对数字电路的时序行为进行推理
binary decision diagrams; digital circuits; graph theory; logic gates; temporal logic; temporal reasoning; timing circuits; binary decision diagram; critical path identification; digital circuits; event-time graph; false path identification; gate-level circuits; symb;
机译:具有间隔时间逻辑的集成电路的功能和时序的推理
机译:基于时间数字转换器的最大延迟传感器,用于超大规模集成电路逻辑块中的在线时序误差检测
机译:BTI变化对数字逻辑电路中时序的影响
机译:使用符号事件传播的顺序电路时序分析
机译:数字集成电路的逻辑级时序分析。
机译:基于总体的时间逻辑门用于定时和记录化学事件
机译:一种利用事件传播和时间逻辑进行时序分析的新方法
机译:数字逻辑电路中的定时故障