| 摘要: |
| 将ＶＨＤＬ语言应用到嵌入式系统的设计提供支持是扩展ＶＨＤＬ对系统级设计支持的一种研究途径．本文考察了几个典型的对系统级设计提供支持的规范语言，它们都将ＶＨＤＬ集成到自己的设计方法之中．在此基础上，作者总结了支持系统级设计的规范语言的基本要素，指出将形式描述方法与ＶＨＤＬ相结合可提供一种更有效的设计支持工具． |
| 关键词: 嵌入式系统 系统规范 规范语言 系统级设计 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| RECOVERY OF THREE DIMENSIONAL HIERARCHICAL BRANCHING ARBORESCENT PATTERNS: EQUATIONS AND DERIVATION |
|
DONG Sheqin,GAO Guoan,CHEN Shuang
|
| 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. |
| Key words: Embedded system system specification specification language system level design |
