主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2022年专刊出版计划 微信服务介绍 最新一期:2021年第4期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
董社勤,高国安,陈爽.基于VHDL的系统规范语言的研究.软件学报,1997,8(6):455-461
基于VHDL的系统规范语言的研究
RECOVERY OF THREE DIMENSIONAL HIERARCHICAL BRANCHING ARBORESCENT PATTERNS: EQUATIONS AND DERIVATION
  修订日期:1996-06-20
DOI:
中文关键词:  嵌入式系统  系统规范  规范语言  系统级设计
英文关键词:Embedded system  system specification  specification language  system level design
基金项目:
作者单位
董社勤 哈尔滨工业大学计算中心,哈尔滨,150001 
高国安 哈尔滨工业大学计算中心,哈尔滨,150001 
陈爽 哈尔滨工业大学计算中心,哈尔滨,150001 
摘要点击次数: 3056
全文下载次数: 2951
中文摘要:
      将VHDL语言应用到嵌入式系统的设计提供支持是扩展VHDL对系统级设计支持的一种研究途径.本文考察了几个典型的对系统级设计提供支持的规范语言,它们都将VHDL集成到自己的设计方法之中.在此基础上,作者总结了支持系统级设计的规范语言的基本要素,指出将形式描述方法与VHDL相结合可提供一种更有效的设计支持工具.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利