Formal methods; Hybrid Petri nets; Verification; Design;
机译:使用标记混合Petri网验证模拟/混合信号电路
机译:使用输入验证非线性模拟和混合信号电路
机译:使用符号方法验证模拟/混合信号电路
机译:使用标记的混合Petri网验证模拟/混合信号电路
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:具有混合CMOS /忆阻器电路的Hopfield网络模数转换器的建模和实验演示
机译:使用标记的混合petri网验证模拟/混合信号电路