逻辑验证相关论文
HPP交换芯片,作为曙光5000系统互联网络的重要组成部件,同时具有单播,多播和同步功能,此外还能够支持带外监控和配置管理功能.芯片......
软件测试是软件开发质量保障的重要手段。针对C++编程开发的智能驾驶软件,设计一种模拟多帧数据信号的运行方式,对软件算法进行检......
通过深耕资管科技场景十余年,在对行业和客户需求形成深度认知的基础上,持续进行产品研发和迭代,并接入实盘不断进行逻辑验证,再经......
10G EPON不仅能够以更好的经济性满足用户日渐增长的对高带宽的需求,而且可以借鉴EPON在运维和规模部署中的成熟技术和经验,因此10G ......
在无线通信技术向着宽带化、多元化发展的同时,也带来了一系列的挑战,其中最为突出的问题就是基带信号处理越来越复杂,传统的分立器件......
搜索算法是逻辑证明中的经典方法,广泛用于直觉主义逻辑,古典逻辑等多种逻辑系统。Kripke模型是一个非常简单而有效的模型,它能对解释......
随着信息处理、计算机、机器人等技术的发展,出现了一大批复杂的人造动态系统,这类系统不同于连续变量系统,它自身带有异步与并发......
文章介绍了某化工企业为提高事故应急电源系统运行的可靠性,结合日常运行维护工作量、经济成本及设备缺陷等问题,对企业内的应急电......
为提升批量控制器产品测试工作的效率,提出用IO控制系统的信号输入输出功能模拟现场设备的信号输入输出,并在测试平台中提供装车信......
文中提出了逻辑验证自身的特点:它的对象设计,可以利用设计中所有的信息资源,可以深入设计内部分而治之。用一个16×16位的乘法器为例说明......
该文提出一种从版图自动生成电路逻辑图的方法。该方法主要是从MOS IC版图中提出电路的逻辑关系,而后根据这些逻辑关系由计算机自动......
该文研究了二元判决图的基本理论及其在逻辑验证和VLSI测试向量自动生成中的应用,提出了一些有价值的新概念和新算法.......
本文给出了一种用于平板显示器(Flat Panel Display)的定标器芯片的前端设计,并对芯片前端设计在FPGA实现的基础上进行了逻辑功能......
大型火电机组庞大,设备众多,自动控制系统在大型火电机组中应用的控制逻辑复杂,本文在火电厂仿真系统的基础上,对大型机组的运行逻......
1引言rn随着信息技术的发展,对数字系统的要求愈来愈高,其复杂性也日益增大,设计的正确性问题越来越突出.因此,人们从各个方面对逻......
介绍了基于功能块提取器(DLFE)工具的时序功能块提取工具和方法.整套工具用于从版图中构造层次化电路,以利于电路的验证和理解.时序功能块提......
作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在......
提出了基于事件类型的网络协议建模方法,并在模型的基础上对协议进行检测实验。协议的模型检查实验中最重要的是状态模型的描述,其决......
[目的]为了解决熔盐塔式光热电站建设和运维过程中,控制逻辑难以验证以及运行人员缺乏操作经验的问题。[方法]开发了一套用于塔式......
作者在以前所做的工作中,已对电子商务安全中抽取的片段进行了证明,也对SET中可能的问题进行了初步探讨。该文在此基础上,对SET的整个业务流......
逻辑检查和验证是控制系统在投运前的必备工作,在只允许短暂停机的公用系统改造项目中没有足够的时间进行投运前的现场调试来进行......
<正>随着FPGA技术的广泛使用,越来越需要一台能够测试验证FPGA芯片中所下载电路逻辑时序是否正确的仪器。目前,虽然Agilent、Tektr......
该文介绍了SET的付费业务流程,对NDL的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义。在此基础上,用对SET中的几个重要......
组合数字电路可方便、直观地采用Petri网来建立模型并进而实施逻辑验证。通过对运用模块化程序设计技术及开发组合数字电路的Petri......
基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结......
研究数字电路的Ho0pfield神经网络模型,说明了这种模型的原理及建立方法,并指出这种模型存在的不足,然后研究电路手最优神经网络模型,给出了模型......
数字逻辑电路的逻辑验证是一件繁琐的工作,费时又费力,本文采用MATLAB附带的图形仿真工具Simulink数字逻辑电路的仿真,简单方便,成本低。为数字逻辑电......
【正】 在以前的5篇论文中,说明了会计理论的研究方法,本文则阐释会计理论检验方法。 会计理论检验是指对会计理论是否真实、科学......
介绍了基于功能块提取器(DLFE)工具的时序功能块提取工具和方法。整套工具用于从版图中构造层次化电路,以利于电路的验证和理解。时序功能......
何谓创新型思维?大家以为没有任何框框,随意地随想,发散型思维。实际上创新型思维也可以像其他自然科学一样,认真加以研究,而且有规律可......
本文主要研究直升机通风加温系统的自动加温控制仿真过程,通过Amesim构造通风加温系统的模型。利用Visual Studio对通风加温系统的......
本文介绍了轨道车辆基于仿真的电气专业化协同设计系统的开发及应用情况。该系统通过实时动态解析初步电气电路图文件,获取仿真数......
用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的......
针对高性能处理器龙芯2F的逻辑验证和性能测试,本文设计和实现了一套硬件验证平台环境,既能验证处理器流片前的逻辑功能,也能测试......
随着FPGA设计功能越来越强、器件结构越来越复杂,其验证的复杂度就越来越高。对于一个大规模FPGA设计,其逻辑验证的效率和可靠性往......
数字信号处理器(DSP)是一种特别适合于数字信号处理运算的嵌入式微处理器。随着其在通信、多媒体处理等高端领域的广泛应用,对DSP性能......
SOC(System On Chip)是近年来逐渐兴起的新型集成电路设计技术,它以传统的集成电路设计技术为基础,但又不同于传统的集成电路设计技......
目前学术界区分汉语双音词和双音节非词成分的标准主要有意义标准、结构标准、修辞标准等五种,文章在分析以上标准不足之处的基础......
数字逻辑电路的逻辑验证是一件繁琐的工作,费时又费力。本文采用MATLAB附带的图形仿真工具Simulink实现了数字逻辑电路的仿真,简单方......
本文主要介绍如何利用per l脚本生成用于逻辑验证的仿真验证平台。本文首先对per l语言作了简单的介绍,并着重对per l的基本使用方......