论文部分内容阅读
硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述,结果表明其操作语义的描述既清晰又易理解,从而避免造成语言设计者、用户和实现者对语义的不同理解,影响语言的正确实施和有效使用.
一种VHDL的结构化操作语义
【摘 要】
：
硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述,结果表明其操作语
【机 构】
：
浙江科技学院,浙江大学
【出 处】
：
浙江大学学报(理学版)
【发表日期】
：
2004年4期
其他文献
供油泵作为叉车液力变速箱内部核心部件之一,其工作状态决定了车辆行驶操纵性能的优劣.通过试验台进行的供油泵出厂性能检测,是保证产品质量的重要途径.此次研制的叉车供油泵
本文介绍了一种基于串行总线的新型蠕变变形测量系统,最多可以采集64台蠕变试验机的变形数据,也就是集散型控制理念的实例化。本系统的使用保证了所有蠕变试验机变形数据的准确性和完整性,在整个试验过程中能够自动采集和存储,并且能够通过计算机命令进行设置,极大地提高了蠕变试验的自动化程度和可靠性。
研究了用芯片毛细管电泳-激光诱导荧光检测系统分离多种荧光素异硫氰酸酯(FITC)衍生氨基酸的实验条件.通过实验优化了夹流式进样的电压条件.采用以乙醇作有机添加剂的胶束毛