SPICE; analogue integrated circuits; constraint handling; finite state machines; formal verification; program debugging; query processing; temporal logic; transient response; Ana CTL; SPICE simulations; analog circuit verification; conventional temporal logics; desig;
机译:模拟电路瞬态响应的验证系统
机译:基于模拟的混合模拟电路概率模型检查
机译:通过瞬态验证回跳模型–测量ESD响应的电路仿真
机译:使用模型检查的模拟电路瞬态响应验证系统
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:使用模型检查算法对模拟电路进行时间约束验证
机译:多回路系统的模拟瞬态辐射响应分析