摘要:UML建模因其可显著提高开发效率和代码质量已经成为软件开发领域的一大热点,而硬件设计的日益复杂性也要求我们在更高层次抽象上分析和验证系统行为,故更精细的系统级建模方法变得日趋重要。本文构建了UML元模型与可综合Verilog间的同态映射,定义了一个从UML模型子集导出可综合Verilog描述的算法,为UML模型对于建模硬件系统提供了形式化的语义,从而使运用UML进行硬件系统级建模和系统级上验证系统性能和功能正确性成为可能。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
热门期刊服务
相关文章
影响因子:0.94
期刊级别:北大期刊
发行周期:月刊
期刊在线咨询,1-3天快速下单!
查看更多>
超1000杂志,价格优惠,正版保障!
一站式期刊推荐服务,客服一对一跟踪服务!