嵌入式系统规范语言

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：ytg1987

【摘要】

：

规范语言是整个嵌入式系统设计方法学的核心.归纳总结了嵌入式系统规范语言的发展过程,并针对当前嵌入式系统的发展趋势,说明了嵌入式系统规范和规范语言的设计需求,进而介绍

【作者】

：

熊悦龚育昌赵振西

【机构】

：

中国科学技术大学计算机科学与技术系

【出处】

：

计算机研究与发展

【发表日期】

：

2003年3期

【关键词】

：

规范语言规范 SYSTEMC SpecC 设计方法学片上系统 specification languages specification SystemC

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

规范语言是整个嵌入式系统设计方法学的核心.归纳总结了嵌入式系统规范语言的发展过程,并针对当前嵌入式系统的发展趋势,说明了嵌入式系统规范和规范语言的设计需求,进而介绍比较了两种重要的基于C/C+ +语言的新的规范语言SystemC和SpecC,最后阐述了基于C/C+ +的规范语言的看法,并展望了未来规范语言的发展.

其他文献

取法于课内得益于课外——也谈小学生课内外阅读有效开展的实践与思考

【正】著名特级教师孙双金在《十三岁以前的语文》一文中写道:13岁以前的语文是童年的语文,是积累的语文,是种子、经典的语文,是不求甚解、为一辈子奠基的语文。他的这番话一

期刊

语言文字著名特级教师幸福成长知识积淀图书角语感培养阅读问题阅读情况课内阅读蜂采蜜

漫谈初中英语写作训练的有效策略

江苏省昆山市张浦中学　　初中英语写作是对学生进行语言应用能力考查最有效的综合性题型。写作可以对学生的词汇、语法、以及句式结构、文学创作和语感等能力进行综合考查，是检验学生英语学习成绩的有效考查方式。然而，在当前初中英语译林版教材的写作教学中，由于写作训练方法的不尽科学，因此写作训练难以有效提升学生的写作能力和水平，促进学生知识学习有效性的提高。因此，在初中英语教学中，教师要有意识地注重对学生进行写

期刊

写作训练考查方式句式结构综合考查译林审题能力文学创作课后练习实际教学经验作文训练

基因治疗载体的研究进展

载体携带目的基因的靶向高效表达是基因治疗成功的关键。基因治疗载体的研究从逆转录病毒、腺病毒、腺相关病毒、单纯疱疹病毒和慢病毒等病毒载体发展到如今还处在研究阶段的

期刊

基因治疗载体研究进展基因靶向转移腺相关病毒腺病毒逆转录病毒恶性肿瘤

新课改背景下初中生物导课方法的探究

成功的导入可以使教师更好地实现教学目标，完成教学任务，进而启发学生的思维，促进学生认真思考。教师一定要充分地理解学生的学习特点，找到适合自己学生的新课导入方法，进而提高课

期刊

初中生物导课方法探究

走在理趣课堂探索的路上——以《声音的传播》为例谈理趣相生的科学课堂

小学科学课程总目标提出：学生通过科学课程的学习,能保持和发展对自然的好奇心和探究热情;理解与认知水平相适应的科学概念。也就是要让学生的科学学习力求有意义也要有意思。

期刊

理趣小学科学课程总目标科学探究过程实践机会苏教版传声认知对象中和水在大海边

在高中语文教学中如何实施创新教育

【摘要】随着新课标的深入发展，高中语文教学的内在理念和教学形式都相应的发生了变化，当前教学的重点放在教学质量及教学效率上，语文教师在教学上不断进行创新，充分利用教学实践，合理安排教学内容，才能更好的促进学生语文学习能力。本文主要就如何提高高中语文教学的创新性提出建议。　　【关键词】高中语文教学；创新教育；教学观念；机智角度　　当前教学新课标对高中语文教学提出了更严格的要求，特别是对教学方式提

期刊

高中语文教学创新教育教学观念机智角度

肿瘤基因组甲基化异常机制研究进展

DNA甲基化异常在肿瘤发生机制中起重要作用,可导致肿瘤细胞中基因无表达及基因组不稳定性增加.高甲基化异常引起基因表达异常存在多种途径,进一步探讨甲基化异常机制对肿瘤的

期刊

DNA甲基化CPG岛基因抑制肿瘤基因表达基因

用心“倾听”，走进童画世界

儿童不能像成人那样很清晰地用语言或文字来表达自己的内心感受，但却能用画笔画出心中的“话”，表达内心感受。幼儿生性喜欢艺术，绘画是幼儿表现对周围事物的感知、理解，抒发内心情感的一种自然而独特的方式。儿童画中的每一个符号、每一种颜色都是孩子心中最真实的童心世界的表达，是孩子情绪、情感、个性的自然流露。如何走进童画世界，去了解孩子的真情实感？　　一、转变观念，重新认识儿童画　　在传统观念下，成人总是认为

期刊

内心感受周围事物画中思维特点一朵朵迟暮之年一幅画集体活动“三八”节儿童心理发展

秋天来了

夏姑娘匆匆地走了，秋姑娘悄悄地来了。果园里、田野上，一片丰收的景象。　　老师带着同学们来到了果园。快看！这石榴可真能笑，把肚子都笑破了。这苹果可真会生气，把脸都气红了。远处的柿子真可爱，一个个像小灯笼一样挂满枝头。那淘气的叶儿也换上了秋装，冲向大地妈妈的怀里。　　同学们像一只只勤劳的小蜜蜂，在果园里不亦乐乎地忙了起来。有的摘果子，有的负责搬运，还有的捡落叶。同学们忙碌着，辛勤的汗水流淌着，可他们却

期刊

可真小蜜蜂黄莹

一种高效的视图维护算法

通过选择性算法将增量式视图维护和视图自维护有效地融合在一起.同时它还利用相关性算法对不相关更新进行过滤,可以有效地降低消息总数和数据的通信量,从而大大提高视图维护

期刊

视图维护算法选择性算法MDVM算法图像处理计算机数据仓库relevant updates selective algorithm multidi

嵌入式系统规范语言

与本文相关的学术论文