- 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日榜单
-
21下载积分 打赏20.00元 3天前
用户：white工
-
Lzhf918@ 打赏10.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：mulanhk
-
21ic下载 打赏310.00元 3天前
用户：lanmukk
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏240.00元 3天前
用户：江岚
-
21ic下载 打赏240.00元 3天前
用户：潇潇江南
-
21ic下载 打赏210.00元 3天前
用户：gsy幸运
-
21ic下载 打赏70.00元 3天前
用户：小猫做电路
-
21ic下载 打赏120.00元 3天前
用户：jh0355
-
21ic下载 打赏110.00元 3天前
用户：jh03551
-
21ic下载 打赏70.00元 3天前
用户：liqiang9090
-
21ic下载 打赏45.00元 3天前
用户：有理想666
-
21ic下载 打赏20.00元 3天前
用户：w178191520
-
21ic下载 打赏40.00元 3天前
用户：烟雨
-
21ic下载 打赏20.00元 3天前
用户：eaglexiong
-
21ic下载 打赏20.00元 3天前
用户：sun2152
-
21ic下载 打赏20.00元 3天前
用户：xuzhen1
-
21ic下载 打赏15.00元 3天前
用户：kk1957135547
-
21ic下载 打赏15.00元 3天前
用户：w993263495
-
21ic下载 打赏15.00元 3天前
用户：x15580286248
-
21ic下载 打赏15.00元 3天前
用户：w1966891335
-
小猫做电路 打赏830.00元 3天前
-
gsy幸运 打赏880.00元 3天前
-
zhengdai 打赏730.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：STM32智能交流电检测
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏15.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
全部评论(0)