...
机译:包括电源和使用混合信号仿真的信号检查在内的顶级验证方法
Infineon Technologies Development Center Muenchen Am Campeon 1-12 D-85579 Neubiberg Germany;
机译:通过基于SAT的属性检查对混合信号电路的稳态行为进行半形式验证
机译:具有同步数字电路的CMOS混合信号IC中降低基板噪声的方法和实验验证
机译:具有同步数字电路的CMOS混合信号IC中降低基板噪声的方法和实验验证
机译:使用混合信号仿真从电源波动中表征PLL抖动
机译:高效,声音正式验证模拟/混合信号电路
机译:用于梯度流声源分离的微功率混合信号VLSI独立分量分析
机译:通过基于SAT的属性检查对混合信号电路的稳态行为进行半形式验证