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

摘要：

针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法.通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性.以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证.实验结果表明该方法正确、有效.

关键词：形式化验证、模拟与混合信号电路、混杂系统、基尔霍夫电流定律、计算树逻辑

所属期刊栏目：42

分类号：TP302.7(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目11371003,11461006,61420009;广西自然科学基金资助项目2014GXNSFAA118359,2014GXNSFAA118358

在线出版日期：2016-10-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：34-38,45