【摘 要】
：
针对模拟与混合信号（AMS）电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特
【机 构】
：
广西混杂计算与集成电路设计分析重点实验室,广西民族大学信息科学与工程学院
论文部分内容阅读
针对模拟与混合信号（AMS）电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性。以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证。实验结果表明该方法正确、有效。
其他文献
综述硒元素在土壤中的含量、分布、形态、生物有效性及其影响因素等方面的研究成果,分析了"土壤—植物"系统中硒的转移规律,在此基础上,提出了研究方向。
车载自组网(VANET,Vehicular Ad-hoc network)中车辆精确定位可以为交通部门管理、车队调度,以及车辆自身行驶安全和突发情况的紧急处理提供帮助。当前,全球导航卫星系统(GNS
本文梳理了《晉書音義》所引《說文》的21個條目,將之與二徐本進行比較,指出相異之處並加以考證,或校正《音義》引用之誤,或補《說文》注音釋義之失。
介绍福建省泉州市花卉产业发展现状以及发展的有利条件,分析泉州市花卉产业发展中存在的生产方式落后,科技创新能力不强,产业竞争力不高等问题,提出了发展泉州市花卉业发展的
目的观察清颜汤治疗不同证型的轻中度寻常痤疮的临床疗效及对皮肤生理学指标的影响。方法将56例痤疮患者根据中医辨证原则分为风热型、湿热型和冲任失调型,均用清颜汤治疗,以
过去的十年中,地板采暖系统在温室种植中被大力的推广,而且越来越受欢迎。2013年供暖期,我们对一个新建的配备了低温地面辐射供热系统的开放屋顶温室进行了研究,地板供暖管道
<正>二（三）站整零车（以下称整零车）卸后组织货物加装，不增加使用车也不占用运输计划，就能扩大零担运输能力，有利于缓和目前零担运输难的程度，经济效果也十分显著。整零车卸后能否组织
路遥的经久佳作《平凡的世界》讲述了上个世纪七八十年代一群朴实的陕北农民的普通生活故事,整部作品展示了平凡的人的普通生活,平凡人的平凡经历,然而却又渗透着不平凡的思
技工院校毕业生作为社会新增劳动力的主体,职业道德状况的好坏直接影响着整个学生的人生道路。查找学生思想品德存在的不足及原因,有的放矢,因材施教,是我们从事学生思想品德
与白板"结缘",真切地感受到它给语文教学带来的快乐——教师不再是"鼠标的点击者",学生也不用再当"录音机"和"录像机",师生可以积极互动,学生的主体作用得到充分发挥。