论吕碧城诗歌的独特性——基于闺怨·平权·参佛的视角.pdfVIP

第42卷第8期计算机工程2016年8月

Vo1．42No．8ComputerEngineeringAugust2016

·体系结构与软件技术·文章编号：1000．3428(2016)08．0034．05文献标志码：A中图分类号：TP302．7

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

杨世瀚，吴尽昭，丁广泓，秦董洪

(1．广西混杂计算与集成电路设计分析重点实验室，南宁530006；2．广西民族大学信息科学与工程学院，南宁530006)

摘要：针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题，提出一种基于基尔霍夫电流

定律节点分析的形式化建模方法。通过扩展计算树逻辑公式，在保留电路更多物理特性的前提下综合描述和验证

AMS电路的离散事件和动态行为，保证性质验证的精确性和可信性。以环形振荡器为例，给出该方法的实现过

程，并通过Coho工具对振荡