积分商城

最新搜索： GPS模块PCB tinyOS TB67S549FTG CH450H 建筑钢结构防火技术规范 GB51249-2017 不隔离的AC-DC变换电路
您现在的位置是：首页 > 技术资料 > 模拟与混合信号电路的形式化验证
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

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

更新时间：2020-09-05 10:28:30 大小：427K 上传用户：xiaohei1810查看TA发布的资源 标签：模拟混合信号 下载积分：5分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

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

For the low fidelity and non-normative description of formal modeling in Analog and Mixed Signal（AMS） circuit, a formal modeling method is proposed based on nodal analysis of Kirchhoff＇ s Current Law （ KCL）. An extension to Computation Tree Logic （CTL） formula is developed to describe the discrete events and dynamic behavior of AMS circuit and reserves many physical characteristics of the circuit, which guarantee the accuracy and credibility of the properties＇ verification. Taking the ring oscillator as an example, it illustrates specific implementation processes of the proposed method and verifies the oscillator circuit by Coho. Experimental result shows that the proposed method is vaild.

部分文件列表

文件名 大小
模拟与混合信号电路的形式化验证.pdf 427K

【关注B站账户领20积分】

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

  • 21ic下载 打赏310.00元   1天前

    用户：w178191520

  • 21ic下载 打赏310.00元   1天前

    用户：小猫做电路

  • 21ic下载 打赏310.00元   1天前

    用户：zhengdai

  • 21ic下载 打赏220.00元   1天前

    用户：gsy幸运

  • 21ic下载 打赏220.00元   1天前

    用户：jh0355

  • 21ic下载 打赏210.00元   1天前

    用户：jh03551

  • 21ic下载 打赏60.00元   1天前

    用户：sun2152

  • 21ic下载 打赏60.00元   1天前

    用户：xuzhen1

  • 21ic下载 打赏80.00元   1天前

    用户：xzxbybd

  • 21ic下载 打赏60.00元   1天前

    用户：铁蛋锅

  • 21ic下载 打赏60.00元   1天前

    用户：liqiang9090

  • 21ic下载 打赏20.00元   1天前

    用户：方中禾

  • 21ic下载 打赏20.00元   1天前

    用户：w1966891335

  • 21ic下载 打赏30.00元   1天前

    用户：玉落彼岸

  • 21ic下载 打赏15.00元   1天前

    用户：kk1957135547

  • 21ic下载 打赏15.00元   1天前

    用户：w993263495

  • 21ic下载 打赏15.00元   1天前

    用户：x15580286248

  • 21ic下载 打赏20.00元   1天前

    用户：WK520077778

  • 21ic下载 打赏25.00元   1天前

    用户：hp860629

  • 21ic下载 打赏15.00元   1天前

    用户：sbfd010

  • 21ic下载 打赏10.00元   1天前

    用户：严光辉

热门下载

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号