Semiconductor device modeling; Machine learning algorithms; Heuristic algorithms; Emulation; Machine learning; Analog circuits; Circuit synthesis;
机译:使用模拟行为模型的混合信号SOC验证
机译:使用模拟轨迹生成的模型进行模拟/混合信号电路验证
机译:使用从模拟轨迹生成的模型对模拟/混合信号电路进行验证
机译:LEMA:用于正式验证数字密集型模拟/混合信号电路的工具
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:自动选择验证工具以有效分析生化模型
机译:aBCD-NL:使用纯布尔模型逼近连续非线性动力系统进行模拟/混合信号验证