%0 Journal Article
%T 基于vhdl的系统规范语言的研究
%A 董社勤？
%A 高国安？
%A 陈爽？
%J 软件学报
%P 455-461
%D 1997
%X 将ｖｈｄｌ语言应用到嵌入式系统的设计提供支持是扩展ｖｈｄｌ对系统级设计支持的一种研究途径．本文考察了几个典型的对系统级设计提供支持的规范语言，它们都将ｖｈｄｌ集成到自己的设计方法之中．在此基础上，作者总结了支持系统级设计的规范语言的基本要素，指出将形式描述方法与ｖｈｄｌ相结合可提供一种更有效的设计支持工具．
%K 嵌入式系统
%K 系统规范
%K 规范语言
%K 系统级设计
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19970608&flag=1