积分商城

最新搜索： qn902x 仿真 串口助手 daplink 恒流源 C语言
您现在的位置是：首页 > 技术资料 > 基于形式化方法的集成电路设计简化技术研究
推荐星级：
  • 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日榜单

热门下载

推荐下载

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

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

京ICP备11013301号

京公网安备 11010802024343号