论文部分内容阅读
硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述,结果表明其操作语义的描述既清晰又易理解,从而避免造成语言设计者、用户和实现者对语义的不同理解,影响语言的正确实施和有效使用.
一种VHDL的结构化操作语义
【摘 要】
：
硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述,结果表明其操作语
【机 构】
：
浙江科技学院,浙江大学
【出 处】
：
浙江大学学报(理学版)
【发表日期】
：
2004年4期
其他文献
<正> 高考现代文阅读,是语文成绩考查的重要组成部分,其中简答题尤为值得重视。如何在有限的时间内,把握题意,准确简洁地回答问题呢?这里以近年来高考题为例,试图总结几条规
<正> 高等教育自学考试制度是我国高等教育事业的重要组成部分,承担着为社会主义现代化建设培养、造就高素质的专门人才的宏伟任务。高等教育自学考试教材建设,是实施自考教
供油泵作为叉车液力变速箱内部核心部件之一,其工作状态决定了车辆行驶操纵性能的优劣.通过试验台进行的供油泵出厂性能检测,是保证产品质量的重要途径.此次研制的叉车供油泵
今年是江苏省高考自主命题的第一年，九门学科的高考试卷全部由江苏自行命制，为了总结我省自主命题的经验，并与包括全国卷在内的11家高考命题单位进行交流，特约请南京市金陵中学、
<正> 现代教育测量学为试题的评价提供了理论依据和指标体系,其基本作用可以归结为论证与描述试题的合理性程度。实际上,使试题实现最佳考试价值并具良好评价亦是我们追求的
湖北宜化化工股份有限公司七届十四次董事会审议通过的公司全资子公司新疆宜化化工有限公司（以下简称“新疆宜化”）之控股子公司新疆嘉成化工有限公司（以下简称“嘉成化工”）投资
本文介绍了一种基于串行总线的新型蠕变变形测量系统,最多可以采集64台蠕变试验机的变形数据,也就是集散型控制理念的实例化。本系统的使用保证了所有蠕变试验机变形数据的准确性和完整性,在整个试验过程中能够自动采集和存储,并且能够通过计算机命令进行设置,极大地提高了蠕变试验的自动化程度和可靠性。
研究了用芯片毛细管电泳-激光诱导荧光检测系统分离多种荧光素异硫氰酸酯(FITC)衍生氨基酸的实验条件.通过实验优化了夹流式进样的电压条件.采用以乙醇作有机添加剂的胶束毛
日前，由中国石化北京化工研究院、上海石化和中国石化催化剂分公司共同承担的HA催化剂工业应用试验项目通过中国石化股份有限公司科技部组织的鉴定，专家建议加快HA催化剂的推广