【摘 要】
:
可编程逻辑门阵列FPGA器件已成为嵌入式系统设计领域关注的热点,同时一些计算密集型任务可以在FPGA上灵活的实现并执行。硬件任务使传统的软硬件协同设计领域发生了重大变革
论文部分内容阅读
可编程逻辑门阵列FPGA器件已成为嵌入式系统设计领域关注的热点,同时一些计算密集型任务可以在FPGA上灵活的实现并执行。硬件任务使传统的软硬件协同设计领域发生了重大变革。实时调度算法是实时系统中的关键而且调度分析是实时应用设计的必经步骤。动态可重构FPGA允许硬件任务运行时动态放置及移出。动态可重构FPGA上硬件任务的调度对传统的实时调度理论带来挑战,到目前为止还没有像软件任务一样成熟的调度算法。本文设计和实现一个动态可重配置系统硬件任务实时调度的模拟与分析工具。该工具将抽象可重构计算系统的主要特征,允许用户在其上建立不同类型的调度算法,并对调度算法的各方面性能进行评估,为支持动态可重构计算的操作系统研究提供便利。本文讨论了实时调度算法目前两种主要验证方法:系统模拟验证、形式化校验方法(定理推导方法,模型验证方法)。提出了动态可重构FPGA上可调度性分析的模拟原理和方法以及模型检测的自动机模型的建立方法。然后讨论了一种动态可重配置系统实时调度的模拟与分析工具--VeriTool的详细设计与实现。最后使用VeriTool进行实验分析得出各验证方法的性能评估,并给出了各方法具体的应用场景。
其他文献
结合施工完毕的32 m后张法预应力混凝土简支梁进行静载试验,从设备选择,加载方案的确定,试验过程的控制,试验结果的分析与评定等方面进行了分析。
采用排队管理系统 ,使门诊病人多 ,流量大、秩序繁乱、管理困难这一长期存在的问题得到极大的改进 ,提升了医院的服务管理。改变了传统的门诊管理模式和导诊护士的工作模式 ,
知识产权侵权由于其客体——智力性创造成果无形的本质,导致该类案件具有专业要求高、侵权隐蔽强、证据收集难、审理难度大等不同于其他一般民事案件的特点。因此,在审理知识
在平板显示领域,聚合物电致发光器件(PLED)因其在性能上的优势,有望成为取代液晶显示器的新一代平板显示产品,因此越来越受到人们的广泛关注和研究。本论文主要侧重于对聚合
目的:分析躯体形式障碍患者的心理问题,采取护理对策.方法:对45例躯体形式障碍病人进行心理分析并实施相应护理对策,住院前后用SCL-90、HAMD、NOSIE量表评定.结果:躯体形式障
<正>摸骨查病,正骨一绝,祖传纯手法检查治疗各类颈肩腰腿痛,四肢关节、颈椎、胸椎、腰椎、骶髂、尾骨、耻骨联合以及肩胛、髌骨、腓骨等全身各部位出现的移位错位引起各种久
本论文工作致力于研究有机发光器件(OLED)内部的电压分布问题。通过在OLED器件内部插入一层中间铝电极的方法,我们实现了对器件内部分压的直接测量。但有机半导体材料固有的
目的:探讨各孕期妇女甲状腺激素水平的变化,建立本地区孕期特异性甲状腺激素水平参考值范围.方法:筛选产检并分娩的各孕期正常孕妇共600例,采用化学发光法测定促甲状腺激素(T
在21世纪,各种信息通信技术特别是互联网技术对大学的教育模式正在产生越来越大的影响,并且对大学生的自主创新能力和大学人才培养质量提出了更高的要求。本文从大学学习观念
在过去的几十年间,集成电路的集成度依循摩尔定律呈指数规律升高,特征尺寸不断减小。现阶段,互连线的RC延迟已经远超过门延迟,成为影响电路性能和速度的关键。为降低RC延迟,