积分商城

最新搜索： Π型滤波 AD软件 入式 FHA20N60 LCD点阵工具 4g dtu
您现在的位置是：首页 > 技术资料 > 基于形式化方法的集成电路设计简化技术研究
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

基于形式化方法的集成电路设计简化技术研究

更新时间：2020-07-29 10:28:12 大小：670K 上传用户：xiaohei1810查看TA发布的资源 标签：集成电路 下载积分：5分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

通过形式化方法建模，对集成电路设计过程中的模型简化技术进行了研究．对互模拟、模拟偏序概念提出判定算法，利用交互式马尔科夫链模型的事件结构构造及功能模块细化方法、软件工程方法，得到模型验证程序，该程序能够对集成电路系统设计过程中的模型进行简化，实践证明具有良好的应用价值．

By setting up mathematic model based on formal method, the reduced technicials of integrate circute design are researched. The deciding algrithms on bisimulation and simulation preorder are offered. The program- ming of model checking is given by seting up event structrue model of interactive Maerkov chain, refinement methods of function module and software engineering which can be used to reduce module in the process of in- tegrate design. It is proved to be valuable in virtual.

部分文件列表

文件名 大小
基于形式化方法的集成电路设计简化技术研究.pdf 670K

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

相关下载

全部评论(0)

暂无评论
评论赚积分>>

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

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

  • 21ic下载 打赏310.00元   18小时前

    用户：w178191520

  • 21ic下载 打赏310.00元   18小时前

    用户：小猫做电路

  • 21ic下载 打赏310.00元   18小时前

    用户：gsy幸运

  • 21ic下载 打赏210.00元   18小时前

    用户：zhengdai

  • 21ic下载 打赏210.00元   18小时前

    用户：jh0355

  • 21ic下载 打赏210.00元   18小时前

    用户：jh03551

  • 21ic下载 打赏210.00元   18小时前

    用户：xzxbybd

  • 21ic下载 打赏70.00元   18小时前

    用户：铁蛋锅

  • 21ic下载 打赏60.00元   18小时前

    用户：sun2152

  • 21ic下载 打赏60.00元   18小时前

    用户：xuzhen1

  • 21ic下载 打赏60.00元   18小时前

    用户：liqiang9090

  • 21ic下载 打赏20.00元   18小时前

    用户：w1966891335

  • 21ic下载 打赏30.00元   18小时前

    用户：玉落彼岸

  • 21ic下载 打赏15.00元   18小时前

    用户：x15580286248

  • 21ic下载 打赏15.00元   18小时前

    用户：kk1957135547

  • 21ic下载 打赏15.00元   18小时前

    用户：w993263495

  • 21ic下载 打赏30.00元   18小时前

    用户：SkyEagle88

  • 21ic下载 打赏25.00元   18小时前

    用户：hp860629

  • 21ic下载 打赏5.00元   18小时前

    用户：dong2223333

  • 21ic下载 打赏10.00元   18小时前

    用户：dxb3320

  • 21ic下载 打赏10.00元   18小时前

    用户：DXB193394

热门下载

资料专题

推荐下载

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

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

京ICP备11013301号

京公网安备 11010802024343号