【摘 要】
：
软硬件协同设计是嵌入式系统设计的一种方法,形式化分析和验证方法作为软硬件协同设计方法的重要部分得到了广泛的研究和应用.作为IEEE标准,Verilog HDL硬件描述语言被广泛应
论文部分内容阅读
软硬件协同设计是嵌入式系统设计的一种方法,形式化分析和验证方法作为软硬件协同设计方法的重要部分得到了广泛的研究和应用.作为IEEE标准,Verilog HDL硬件描述语言被广泛应用于数字电路设计中.区间时态逻辑(Interval Temporal Logic,ITL)是线性时间时态逻辑的一种扩展,它把时间看作是离散的,可以很好的描述硬件电路的行为和结构.Tempura是区间时态逻辑的一个可执行子集.该文研究了硬件描述语言到区间时态逻辑的转换,抽取了Verilog HDL的行为级描述子集作为转换的对象,采用Tempura作为转换的目标.文中提出了Verilog HDL的行为级描述子集到Tempura的具体转换方法,讨论了不同描述方式建模的硬件设计到Tempura的转换.该文还设计和实现了基本的VT转换系统.
其他文献
该文旨在将领域工程、构件管理与应用工程有机地结合起来,针对领域变化性,在构件模型及相关技术方面进一步探讨,以更好地支持基于构件的软件开发的全过程.在基于构件的软件开
在线数据分析越来越成为决策支持中一个重要的工具,而Cube算子的计算及相应优化技术在其中起着极为重要的作用.该文针对MOLAP目前面临的分析数据量大、数据稀疏度高、维度多
聚筛法是求解非线性代数方程组的一种非常有效的方法,同时适用于一般的文字系数和常系数的非线性代数方程组.杨路开发了聚筛法中GPS算法对应的GPS程序,符红光开发了通用的WR
目前,随着网络和信息系统的迅速发展,各种数据挖掘方法也应运而生,每种方法都有其特定的使用环境,但在大规模数据的处理上,很多数据挖掘方法在实用性上存在着诸多缺陷.该文提
该文主要研究了彩色目标识别与检测中的照明影响的消除问题.该文研究了图象成像过程,并提出一种简化的成像假设来近似图象传感器的感应函数.在此基础上利用一个照明变化向量
近年来，Android智能手机和Android移动应用迅速发展，Android应用提供了丰富的功能以及良好的用户体验。大多数移动应用都能在智能手机上流畅地运行，但是受限于智能手机有限的计
随着Internet网络规模的迅猛发展和新业务的大量涌现,如何提高网络的服务质量成为当前迫切需要解决的问题.IP协议是无连接协议,不能保证足够的吞吐量和符合要求的传送时延,只
本文根据计算机在工业控制领域的技术发展趋势,结合计算机软件设计的理念,以及单片机技术的发展,提出了基于计算机底层语言的疲劳驾驶预警装置的软件开发和硬件设计.设计中,
支持向量机是近些年发展起来的一种新的机器学习的方法。它以统计学习理论为基础，能够较好的解决小样本的学习问题。由于其出色的学习和推广性能，支持向量机已经被应用到许多方
网络技术的迅速发展,给人们的工作、生活带来便利,但网络攻击事件频繁发生、网络病毒肆意泛滥,各种不安全的因素所带来负面影响日益强烈.电子邮件服务作为网络应用最广、最早