原型验证系统相关论文
随着集成电路设计能力和制造能力的进步,系统芯片设计规模越来越大,功能也越来越复杂,功能验证已经成为制约系统芯片开发的重要因素。......
形式化方法是提高软件设计可靠性和正确性的重要途径,其基本含义是借助数学的方法来研究计算机科学中的有关问题。形式化方法主要......
REESSE1+公钥密码体制为公钥密码研究开辟了新的方向,可能成为量子计算机时代的备选加密方案之一。本文介绍了REESSE1+(2008年3月9......
多线程离散事件模拟语言(Multithreaded Discrete Event Simulation Language,下文均简称MDESL)是一种类似于硬件描述语言Verilog......
本文介绍了信息摘要算法MD5的应用背景及其实现算法,并用Verilog HDL设计了MD5算法的硬件模块.基于System C验证语言和Modelsim对设......
本文分析了现有的基于FPGA组的ASIC原型验证系统在板间互连结构方面的特点,并且针对其存在的缺陷,提出了一种非对称互连结构的改进......
介绍了区间时序逻辑ITL的语法、语义和公理系统以及通用的辅助定理证明工具PVS,研究了嵌入ITL到PVS的原理,给出了描述ITL的PVS模块......
介绍了分布式系统的自稳定性以及原型验证系统(PVS),阐述了从形式化角度验证系统性质的方法.使用PVS对分布式系统及系统中的自稳定算......
把结构和公制的间隔的语义模型基于句法的分析时间的逻辑( MITL )公式,怎么转变在即时时间的逻辑 MITL 公式写进在这篇论文与原型确......
随着移动智能终端的快速普及以及万物互联所带来的移动新业务的持续增长,使得第五代移动通信系统(5G)需要满足高速率、高频谱效率......
随着物联网的兴起和移动互联网业务种类的日渐丰富,人们对蜂窝移动通信数据传输速率以及服务质量提出了更高的要求。由于能够充分......