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

• 作者: 丁广泓 吴尽昭 杨世瀚 秦董洪
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 形式化验证 模拟与混合信号电路 混杂系统 基尔霍夫电流定律 计算树逻辑
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 34-38,45
• 页数: 6页
• 分类号: TP302.7
• 字数: 4423字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.08.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁广泓	广西民族大学信息科学与工程学院	2	3	1.0	1.0
2	吴尽昭		23	39	4.0	5.0
4	秦董洪	广西民族大学信息科学与工程学院	6	9	2.0	3.0
5	杨世瀚		9	13	2.0	2.0