计算机工程2016，Vol.42Issue(8)：34-38,45,6.DOI:10.3969/j.issn.1000-3428.2016.08.007
模拟与混合信号电路的形式化验证
Formal Verification of Analog and Mixed Signal Circuit
摘要
关键词
形式化验证/模拟与混合信号电路/混杂系统/基尔霍夫电流定律/计算树逻辑Key words
formal verification/Analog and Mixed Signal (AMS) circuit/hybrid system/Kirchhoff's Current Law (KCL)/Computation Tree Logic (CTL)分类
信息技术与安全科学引用本文复制引用
杨世瀚,吴尽昭,丁广泓,秦董洪..模拟与混合信号电路的形式化验证[J].计算机工程,2016,42(8):34-38,45,6.基金项目
国家自然科学基金资助项目(11371003,11461006,61420009) （11371003,11461006,61420009）
广西自然科学基金资助项目(2014GXNSFAA118359,2014GXNSFAA118358). （2014GXNSFAA118359,2014GXNSFAA118358）
