| 使用Formality中的几个问题 |
| |
| 引用本文： | 赵乾. 使用Formality中的几个问题[J]. 科学技术与工程, 2007, 7(5): 898-900907 |
| |
| 作者姓名： | 赵乾 |
| |
| 作者单位： | 西北工业大学软件与微电子学院,西安,710065 |
| |
| 摘 要： | 介绍了等效性验证以及等效性验证工具Formality在整个ASIC设计流程中的应用。针对在使用Fomality进行等效性验证中出现的仿真与综合逻辑不匹配的问题进行了讨论，并提出解决方案。
|
| 关 键 词： | 等效性验证 ASIC 静态分析 |
| 文章编号： | 24015222 |
| 修稿时间： | 2006-10-31 |
Application of MSTP in the Construction for Forestry Information |
| |
| JIANG Yu. Application of MSTP in the Construction for Forestry Information[J]. Science Technology and Engineering, 2007, 7(5): 898-900907 |
| |
| Authors: | JIANG Yu |
| |
| Abstract: | With further growing requirement to the bandwidth and different kinds of business, MSTP can support both TDM service and data network service which is increasing fast. The main technology of MSTP is analyzed, put forward the double planes solution of MSTP/SDH by combining with the actual situation of the forestry information construction in Hunan Province. |
| |
| Keywords: | forestry information MSTP SDH double planes |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《科学技术与工程》浏览原始摘要信息 |
|
点击此处可从《科学技术与工程》下载全文 |
