基于同态映射的从UML导出可综合Verilog算法
文献类型：期刊论文
| 作者 | 陈杰; 沈筱彦 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2006 |
| 卷号 | 33期号:4页码:247-249 |
| 关键词 | 统一建模语言（uml） Verilog硬件描述语言 同态映射 |
| ISSN号 | 1002-137X |
| 产权排序 | 1 |
| 英文摘要 | UML建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点，而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为，故更精细的系统级建模方法变得日趋重要。本文构建了UML元模型与可综合Verilog间的同态映射，定义了一个从UML模型子集导出可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而使运用UML进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。 |
| 公开日期 | 2010-05-26 |
| 源URL | [http://10.10.10.126/handle/311049/1420]  |
| 专题 | 微电子研究所_回溯数据库（1992-2008年） |
| 推荐引用方式 GB/T 7714 | 陈杰,沈筱彦. 基于同态映射的从UML导出可综合Verilog算法[J]. 计算机科学,2006,33(4):247-249. |
| APA | 陈杰,&沈筱彦.(2006).基于同态映射的从UML导出可综合Verilog算法.计算机科学,33(4),247-249. |
| MLA | 陈杰,et al."基于同态映射的从UML导出可综合Verilog算法".计算机科学 33.4(2006):247-249. |
入库方式： OAI收割
来源：微电子研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。