- 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日榜单
-
zhengdai 打赏1000.00元 3天前
资料：STM32IAP使用说明
-
gsy幸运 打赏955.00元 3天前
资料：STM32IAP使用说明
-
小猫做电路 打赏855.00元 3天前
资料：STM32IAP使用说明
-
21ic小能手 打赏310.00元 3天前
用户：zhengdai
-
21ic小能手 打赏320.00元 3天前
用户：liqiang9090
-
21ic小能手 打赏310.00元 3天前
用户：gsy幸运
-
21ic小能手 打赏270.00元 3天前
用户：jh03551
-
21ic小能手 打赏240.00元 3天前
用户：小猫做电路
-
21ic小能手 打赏210.00元 3天前
用户：w178191520
-
21ic小能手 打赏90.00元 3天前
用户：kkfjenui
-
21ic小能手 打赏60.00元 3天前
用户：liao6
-
21ic小能手 打赏60.00元 3天前
用户：w1966891335
-
21ic小能手 打赏90.00元 3天前
用户：jh0355
-
21ic小能手 打赏30.00元 3天前
用户：xuzhen1
-
21ic小能手 打赏30.00元 3天前
用户：sun2152
-
21ic小能手 打赏50.00元 3天前
用户：xzxbybd
-
21ic小能手 打赏50.00元 3天前
用户：mulanhk
-
21ic小能手 打赏20.00元 3天前
用户：x15580286248
-
21ic小能手 打赏15.00元 3天前
用户：w993263495
-
21ic小能手 打赏30.00元 3天前
用户：玉落彼岸
-
21ic小能手 打赏20.00元 3天前
用户：铁蛋锅
-
21ic小能手 打赏10.00元 3天前
用户：zmcch
-
21ic小能手 打赏10.00元 3天前
-
21ic下载 打赏1.00元 3天前
用户：zzcyolo
-
21ic下载 打赏1.00元 3天前
用户：玉落彼岸
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
sdqdjqk 打赏1.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
wisdomlin 打赏1.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
799902619 打赏1.00元 3天前
资料：新立新龙软件
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
全部评论(0)