Delay; Digital systems; Time; Asynchronous systems; Chips(electronics); Computer programs; Critical path methods; Gates(circuits); Linear programming; Minimax technique; Paths; Pert; Probability distribution functions; Statistical analysis; Theses; Verification; Very large scale integration; Timing verification; Timing verifiers; Timing models; Self-timed systems;
机译:具有同步数字电路的CMOS混合信号IC中降低基板噪声的方法和实验验证
机译:具有同步数字电路的CMOS混合信号IC中降低基板噪声的方法和实验验证
机译:数字自同步OFDM接收器性能改进的强大时钟定时恢复
机译:CheckT / sub c /和minT / sub c /:时序验证和同步数字电路的最佳时钟
机译:可靠的嵌入式硬件系统的抽象解释器建模和验证方法。
机译:免疫数据质量审核:验证免疫监测系统的质量和一致性。
机译:高性能ASIC测试和验证系统中定时精度和波形质量的增强。