基于VHDL的系统规范语言的研究

来源 :软件学报 | 被引量 : 0次 | 上传用户:wangligang987123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将VHDL语言应用到嵌入式系统的设计提供支持是扩展VHDL对系统设计支持的一种途径。本文考察了几个典型的对系统级设计提供支持的规范语言,它们都将VHDL集成到自己的设计方法之中,在此基础上,作者总结了支持系统级设计的规范语言的基本要素,指出将形式描述方法与VHDL相结合可提供一种更有效的设计支持工具。
其他文献
提出了一个新的分配算法,它可以有效地分配一个给定的位的限额给任意不同的量化器集合。
高职院校的人文教育普遍“贫血”,教师的职业素质参差不齐,均亟待加强和完善。在高职院校中倡导人文精神时,应将加强人文教育与教师职业素质的完善相结合,通过教师高尚的道德鼓舞
本文讨论开放型物理系统的定性推理方法。文中阐述QUIOS机制下事件和进程的关系及两种视图的表达方式,用实例说明定性推理方法,并给出QUIOS的推理算法。
本文探讨了贫困生网瘾这一特殊现象的成因,主要从贫困生家庭层面、教育层面和网络层面进行了相关分析,这为进一步思考相应的解决对策提供了依据。
LOTOS是一种基于进程代数CCS的协议规范语言,面向协议验证,但它不能描述协议的某些性质。本文提出了一种LOTOS的扩充语言ELOTOS,它在LOTOS的基础上引入了异步通讯机制,时间描述,事件发生的随机描述。
国家要强盛,关键在人才。是否拥有创造性思维能力的人才,则是关键中的关键。由于能够提供大量最新知识,指导在职人员科学合理学习和培育合适的学习环境等因素,继续教育在培养具有
经济的转型、产业结构的升级,呼唤着更多技能型人才的出现,技工教育受到了前所未有的重视,技工学校教师也分享着技工教育大发展的成果。然而,随着改革的深化、技术的革新及对
本文提出了一个用于反应系统规范及验证的修改时序逻辑,它包含一个用于显示区分程序执行步同环境执行步的机制。环境的特性可以在系统开发时进行考虑。文中首先给出了程序的一
道德教育与心理教育日益成为中学教育关注的热点之一,本文通过对道德教育、心理教育的比较分析,揭示其在教育任务、实现目标、教育方式等方面的区别和两者内在的联系,使它们更好
产品变型设计的基本思想是通过改进已有的系列产品或模块来适应新的设计需求,针对变型设计的基本特点,提出了以基于实例的推理为基础,综合运用规则推理和约束满足方法来完成产品