基于同态映射的从UML导出可综合Verilog算法

作     者：沈筱彦 陈杰 SHEN Xiao-Yan;CHEN Jie

作者机构：中国科学院微电子研究所 

基　　金：863重点项目<32位高性能嵌入式数字信号处理器(DSP)芯片设计与实现>(项目号:2002AA1Z1130) 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2006年第33卷第4期

页      码：247-249页

摘      要：UML 建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点,而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为,故更精细的系统级建模方法变得日趋重要。本文构建了UML 元模型与可综合 Verilog 间的同态映射,定义了一个从 UML 模型子集导出可综合 Verilog 描述的算法,为 UML模型对于建模硬件系统提供了形式化的语义,从而使运用 UML 进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。

主 题 词：统一建模语言(UML) Verilog硬件描述语言 同态映射 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1002-137X.2006.04.071

馆 藏 号：203193548...