- 1
- 2
- 3
- 4
- 5
基于形式化方法的集成电路设计简化技术研究
资料介绍
通过形式化方法建模，对集成电路设计过程中的模型简化技术进行了研究．对互模拟、模拟偏序概念提出判定算法，利用交互式马尔科夫链模型的事件结构构造及功能模块细化方法、软件工程方法，得到模型验证程序，该程序能够对集成电路系统设计过程中的模型进行简化，实践证明具有良好的应用价值．
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 |
最新上传
- 打赏
- 30日榜单
-
21ic小能手 打赏5.00元 2天前
资料：zTEB的应用程序
-
21ic小能手 打赏5.00元 2天前
资料：欧瑞伺服资料
-
21ic小能手 打赏5.00元 2天前
-
21ic小能手 打赏10.00元 2天前
-
21ic小能手 打赏15.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：kk1957135547
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏310.00元 3天前
用户：liqiang9090
-
21ic下载 打赏160.00元 3天前
用户：w178191520
-
21ic下载 打赏210.00元 3天前
用户：jh035511
-
21ic下载 打赏150.00元 3天前
用户：jh03551
-
21ic下载 打赏40.00元 3天前
用户：cooldog123pp
-
21ic下载 打赏40.00元 3天前
用户：sun2152
-
21ic下载 打赏30.00元 3天前
用户：WK520077778
-
21ic下载 打赏60.00元 3天前
用户：1111111ffgg
-
21ic下载 打赏20.00元 3天前
用户：铁蛋锅
-
21ic下载 打赏20.00元 3天前
用户：小猪配二锅头
-
21ic下载 打赏20.00元 3天前
用户：w1966891335
-
21ic下载 打赏20.00元 3天前
用户：w993263495
-
21ic下载 打赏20.00元 3天前
用户：xzxbybd
-
21ic下载 打赏30.00元 3天前
用户：happypcb
-
21ic下载 打赏30.00元 3天前
用户：zzggq
-
21ic下载 打赏20.00元 3天前
用户：xuzhen1
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏20.00元 3天前
-
21ic小能手 打赏15.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏310.00元 3天前
用户：liqiang9090
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏160.00元 3天前
用户：w1966891335
-
21ic下载 打赏160.00元 3天前
用户：w178191520
-
21ic下载 打赏160.00元 3天前
用户：kk1957135547
全部评论(0)