计算机科学 ›› 2006, Vol. 33 ›› Issue (4): 247-249.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: UML建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点,而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为,故更精细的系统级建模方法变得日趋重要。本文构建了UML元模型与可综合Verilog间的同态映射,定义了一个从UML模型子集导出可综合Verilog描述的算法,为UML模型对于建模硬件系统提供了形式化的语义,从而使运用UML进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。
关键词: 统一建模语言(UML) Verilog硬件描述语言 同态映射
Abstract: Modeling with UML has been a hot topic in software development domain since it can significantly improve product quality and productivity. But the constantly increasing complexity of hardware design also demands analysis and verification of system behavio
Key words: UML,Verilog hardware description language, Homomorphic mapping
. 基于同态映射的从UML导出可综合Verilog算法[J]. 计算机科学, 2006, 33(4): 247-249. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I4/247
Cited