模拟与混合信号电路的形式化验证.PDFVIP

第 42 卷 第 8 期 Vol． 42 No． 8 计 算 机 工 程 Computer Engineering 2016 年 8 月 August 2016 ·体系结构与软件技术· 文章编号: 1000-3428( 2016) 08-0034-05 文献标志码: A 中图分类号: TP302． 7 基金项目: 国家自然科学基金资助项目(11461006) ; 广西自然科学基金资助项目 ( 2014GXNSFAA118359，2014G XNSFAA118358) 。 作者简介: 杨世瀚( 1972 － ) ，男，副教授、博士，主研方向为集成电路形式化验证、混杂系统、符号计算; 吴尽昭，教授、博士生导师; 丁广泓，硕士; 秦董洪，副教授、博士。 收稿日期: 2015-06-02 修回日期: 2015-08-25 E-mail: mryangsh@ 163． com 模拟与混合信号电路的形式化验证 杨世瀚1，2，吴尽昭1，2，丁广泓2，秦董洪2 ( 1． 广西混杂计算与集成电路设计分析重点实验室，南宁 530006; 2． 广西民族大学 信息科学与工程学院，南宁 530006) 摘 要: 针对模拟与混合信号( AMS) 电路形式化建模逼真度低和描述不规范的问题，提出一种基于基尔霍夫电流 定律节点分析的形式化建模方法。通过扩展计算树逻辑公式，在