| 董社勤,高国安,陈爽.基于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 |
| 基金项目: |
|
| 摘要点击次数: 3056 |
| 全文下载次数: 2951 |
| 中文摘要: |
| 将ＶＨＤＬ语言应用到嵌入式系统的设计提供支持是扩展ＶＨＤＬ对系统级设计支持的一种研究途径．本文考察了几个典型的对系统级设计提供支持的规范语言，它们都将ＶＨＤＬ集成到自己的设计方法之中．在此基础上，作者总结了支持系统级设计的规范语言的基本要素，指出将形式描述方法与ＶＨＤＬ相结合可提供一种更有效的设计支持工具． |
| 英文摘要: |
| 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阅读器 |
