逻辑验证相关论文
软件测试是软件开发质量保障的重要手段。针对C++编程开发的智能驾驶软件,设计一种模拟多帧数据信号的运行方式,对软件算法进行检......
10G EPON不仅能够以更好的经济性满足用户日渐增长的对高带宽的需求，而且可以借鉴EPON在运维和规模部署中的成熟技术和经验，因此10G ......
在无线通信技术向着宽带化、多元化发展的同时，也带来了一系列的挑战，其中最为突出的问题就是基带信号处理越来越复杂，传统的分立器件......
随着信息处理、计算机、机器人等技术的发展,出现了一大批复杂的人造动态系统,这类系统不同于连续变量系统,它自身带有异步与并发......
介绍了基于功能块提取器（ＤＬＦＥ）工具的时序功能块提取工具和方法．整套工具用于从版图中构造层次化电路，以利于电路的验证和理解．时序功能块提......
作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在......
提出了基于事件类型的网络协议建模方法，并在模型的基础上对协议进行检测实验。协议的模型检查实验中最重要的是状态模型的描述，其决......
[目的]为了解决熔盐塔式光热电站建设和运维过程中,控制逻辑难以验证以及运行人员缺乏操作经验的问题。[方法]开发了一套用于塔式......
逻辑检查和验证是控制系统在投运前的必备工作,在只允许短暂停机的公用系统改造项目中没有足够的时间进行投运前的现场调试来进行......
<正>随着FPGA技术的广泛使用,越来越需要一台能够测试验证FPGA芯片中所下载电路逻辑时序是否正确的仪器。目前,虽然Agilent、Tektr......
基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结......
研究数字电路的Ｈｏ０ｐｆｉｅｌｄ神经网络模型，说明了这种模型的原理及建立方法，并指出这种模型存在的不足，然后研究电路手最优神经网络模型，给出了模型......
本文主要研究直升机通风加温系统的自动加温控制仿真过程,通过Amesim构造通风加温系统的模型。利用Visual Studio对通风加温系统的......
本文介绍了轨道车辆基于仿真的电气专业化协同设计系统的开发及应用情况。该系统通过实时动态解析初步电气电路图文件,获取仿真数......
用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的......
针对高性能处理器龙芯2F的逻辑验证和性能测试,本文设计和实现了一套硬件验证平台环境,既能验证处理器流片前的逻辑功能,也能测试......
随着FPGA设计功能越来越强、器件结构越来越复杂,其验证的复杂度就越来越高。对于一个大规模FPGA设计,其逻辑验证的效率和可靠性往......
数字信号处理器（DSP）是一种特别适合于数字信号处理运算的嵌入式微处理器。随着其在通信、多媒体处理等高端领域的广泛应用，对DSP性能......
SOC(System On Chip)是近年来逐渐兴起的新型集成电路设计技术，它以传统的集成电路设计技术为基础，但又不同于传统的集成电路设计技......
目前学术界区分汉语双音词和双音节非词成分的标准主要有意义标准、结构标准、修辞标准等五种,文章在分析以上标准不足之处的基础......
数字逻辑电路的逻辑验证是一件繁琐的工作，费时又费力。本文采用MATLAB附带的图形仿真工具Simulink实现了数字逻辑电路的仿真，简单方......
本文主要介绍如何利用per l脚本生成用于逻辑验证的仿真验证平台。本文首先对per l语言作了简单的介绍,并着重对per l的基本使用方......
