逻辑验证

作品数：60被引量：98H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：于治楼梁智豪姜凯石茵刘耿耿更多>>
相关机构：华为技术有限公司浪潮电子信息产业股份有限公司中国科学院国家电网公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
变电站间隔层五防逻辑自动校核技术研究
《设备管理与维修》2025年第6期135-137,共3页叶德富 
变电站新改扩建设备投运前,需要对测控装置的间隔层五防逻辑进行校核。目前是通过人工模拟开关、刀闸、地刀位置,逐一验证各条五防规则配置的正确性。原有验证方式工作量大、效率低下,且容易受人员因素影响而无法保证正确性。提出一种...
关键词：间隔五防 设备验收 逻辑验证 自动校核工具 
基于Python的DCS逻辑验证用例自动生成方法
《电气技术与经济》2025年第1期380-383,386,共5页时光 
DCS系统是核电站的关键控制系统之一,软逻辑功能测试是确保其可靠性和安全性的重要环节。传统的人工编写该测试用例通常耗时较长,本文提出利用Python编程语言,结合DCS逻辑验证规则,自动生成测试用例,从而提高测试效率。该方法通过解析...
关键词：DCS Python编程 设计输入 解析pdf 自动化编写用例 机器学习 
条形码识别SoC芯片实现自动化ECO
《电子制作》2024年第18期25-28,共4页曾云泽 林思杰 卢朝辉 王仁平 
福建省自然科学基金项目(2023J01398)。
工程变更指令(Engineering Change Order,ECO)在芯片设计当中是一种非常有效地解决芯片功能或时序问题的方法。本文以自研的条形码识别芯片为例,提出一种结合逻辑验证的从寄存器传输级(Register Transfer Level,RTL)电路到GDSII版图的...
关键词：芯片设计 工程变更 ECO 逻辑验证 
核电厂控制系统逻辑验证方案改进研究
《自动化仪表》2024年第9期20-26,共7页何超 张鹏 刘双金 刘岩 
随着自主三代核电技术的稳步推进,在建核电项目面临控制系统逻辑验证量大、工期长的问题,而现有验证方案源于二代加核电项目,限制了逻辑验证效率的提升。针对此问题,对国内二代加、自主三代核电项目的控制逻辑特点和验证策略进行分析和...
关键词：核电厂 数字化控制系统 逻辑验证 工程调试 自动化测试 
2023年下半年两轮科技行情的启示
《股市动态分析》2024年第12期18-19,共2页陈果 
低位轮动下,科技股迎来补涨行情。科技行情启动在于低位有催化,行情持续度与空间看景气持续,本轮科技景气逻辑验证限于细分领域,板块性验证在明后年。整体来看产业链景气弹性尚显不足。可参考的近期历史是2023年下半年两轮TMT行情,当时...
关键词：细分领域 逻辑验证 补涨 景气 持续度 产业链 行情 科技 
基于PROMELA的卫星自主控制逻辑安全性分析方法
《电脑编程技巧与维护》2024年第3期174-176,共3页赵景晖 
随着微处理技术的发展,卫星自主控制逻辑日趋复杂。传统的使用流程图、程序走查、单元测试、系统测试的方法,存在过于依赖相关人员主观能力和无法遍历全部程序执行路径的问题。基于线性时态逻辑的SPIN验证工具可以对使用PROMELA建模的...
关键词：逻辑验证 PROMELA语言 卫星设计 
用于时分复用技术的多阶段协同优化FPGA布线方法被引量：1
《电子与信息学报》2023年第9期3430-3438,共9页刘耿耿 许文霖 周茹平 徐宁 
国家自然科学基金(61877010)。
时分复用(Time-Division Multiplexing,TDM)技术被广泛地运用于解决IO瓶颈问题,以提高现场可编程门阵列(Field Programmable Gate Array,FPGA)系统的可布线性,但TDM比率的增大会导致系统时延的显著增加。因此,为了优化FPGA系统时延以及...
关键词：FPGA系统 逻辑验证 时分复用 布线 拉格朗日松弛 
一种多种接口时序兼容性验证设计方法被引量：1
《化工自动化及仪表》2023年第3期392-395,共4页杨帆 王哲 
针对接口从设备兼容性弱的问题,提出一种多种接口时序兼容性验证方法,实现了灵活、方便、可控的接口从设备时序拉偏验证功能。
关键词：时序拉偏测试 接口从设备 物联网 时序逻辑验证 兼容 
基于SIS TCS-900的检测试验分析和系统改进设计被引量：1
《电工技术》2023年第1期117-119,共3页项明 平志明 董乾钦 赵玉龙 章文 
SIS系统是工业生产中最重要的一道安全防护,如何验证系统可用性及排查潜在的故障显得尤为重要。在安全控制系统的整个生命周期中,需通过复杂的检测试验,包括出厂验收测试(FAT),施工中的现场调试、试运行,现场验收测试(SAT),核电厂的定...
关键词：安全控制 SIS TCS-900 定期试验 逻辑验证 
基于CAPL编程的CAN网络仿真模型搭建方法研究被引量：4
《汽车电器》2022年第7期84-87,共4页李桂伟 丁健 蔡永祥 
为满足控制器功能逻辑验证中总线仿真需求,本文利用CANoe软件的CAPL编程语言结合IL交互层方式搭建了一种总线网络仿真模型。该模型不仅能够满足功能逻辑验证的仿真需要,提高测试人员的工作效率,并且模型开发难度低、开发时间短、功能扩...
关键词：功能逻辑验证 CAPL编程IL交互层 网络仿真模型 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部