###
DOI:
Journal of Software:1997.8(6):455-461

基于VHDL的系统规范语言的研究
董社勤,高国安,陈爽
(哈尔滨工业大学计算中心,哈尔滨,150001)
RECOVERY OF THREE DIMENSIONAL HIERARCHICAL BRANCHING ARBORESCENT PATTERNS: EQUATIONS AND DERIVATION
DONG Sheqin,GAO Guoan,CHEN Shuang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2636   Download 2635
    Revised:June 20, 1996
> 中文摘要: 将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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

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

DONG Sheqin,GAO Guoan,CHEN Shuang.RECOVERY OF THREE DIMENSIONAL HIERARCHICAL BRANCHING ARBORESCENT PATTERNS: EQUATIONS AND DERIVATION.Journal of Software,1997,8(6):455-461