Digital circuits; Formal verification; Equivalence checking; Circuit partitioning; Decision diagrams;
机译:基于根共享二元决策图的双轨RSFQ数字电路逻辑综合方法
机译:用于反馈桥接故障的基于数字VLSI电路在线测试的二进制决策图
机译:基于决策图的数字电路中串扰干扰引起的延迟故障测试方法
机译:一种基于锥形分区和决策图的数字电路的新验证方法
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:基于干传感器的人脑脑电信号采集系统多通道数字有源电路的设计与验证
机译:基于多值决策图的VLsI电路中串扰故障的测试方法
机译:基于词级决策图的算法电路验证