基于VHDL的系统规范语言的研究
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


RECOVERY OF THREE DIMENSIONAL HIERARCHICAL BRANCHING ARBORESCENT PATTERNS: EQUATIONS AND DERIVATION
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    将VHDL语言应用到嵌入式系统的设计提供支持是扩展VHDL对系统级设计支持的一种研究途径.本文考察了几个典型的对系统级设计提供支持的规范语言,它们都将VHDL集成到自己的设计方法之中.在此基础上,作者总结了支持系统级设计的规范语言的基本要素,指出将形式描述方法与VHDL相结合可提供一种更有效的设计支持工具.

    Abstract:

    Applying VHDL to support the design of embedded system is a way to extend VHDL to support system level design.In this paper,the authors observe several typical specification languages which supporting system level design,all the languages integrated VHDL into their methodologies.Based on the observation,the authors summarize the basic key points of a specification language which supporting system level design,and point out that combining formal methods with VHDL can produce an effective design assis-tant tool.

    参考文献
    相似文献
    引证文献
引用本文

董社勤,高国安,陈爽.基于VHDL的系统规范语言的研究.软件学报,1997,8(6):455-461

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:1996-06-20
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号