自动化验证

作品数：32被引量：58H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：苏开乐肖茵茵胡少坚黄皓范钰丹更多>>
相关机构：西安电子科技大学解放军信息工程大学南京大学中南民族大学更多>>
相关期刊：《电脑编程技巧与维护》《集成电路应用》《计算机工程》《红外技术》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家民委自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于规则集的电子设计原理图自动化审查方案研究
《电脑编程技巧与维护》2025年第4期151-153,共3页钟佳浩 董玉龙 高彦锋 
在电子设计过程中,电路原理图的审查是关键环节,因为它对产品的功能、性能和可靠性有重要影响。随着电子技术的发展,原理图设计的复杂性增加,自动化验证成为确保设计质量的关键手段。器件的选型与连接情况对电路性能至关重要,元器件的...
关键词：电子设计 原理图 自动化验证 产品可靠性 
基于SAT的GRANULE算法不可能差分分析
《计算机应用》2024年第3期797-804,共8页武小年 匡晶 张润莲 李灵琛 
国家自然科学基金资助项目(62062026,62162016);广西创新研究团队项目(2019GXNSFGA245004);广西重点研发计划项目(桂科AB23026131);广西自然科学基金资助项目(2020GXNSFBA297076)。
基于布尔可满足性问题(SAT)的自动化搜索方法可以直接刻画与、或、非、异或等逻辑运算,从而建立更高效的搜索模型。为更高效地评估GRANULE算法抵抗不可能差分攻击的能力,首先,基于S盒差分分布表性质优化S盒差分性质刻画的SAT模型;其次,...
关键词：GRANULE算法 布尔可满足性问题 不可能差分区分器 差分分布表 自动化验证 
基于Tamarin Prover的5G EAP-TLS协议的形式化分析
《武汉大学学报（理学版）》2023年第5期653-664,共12页马壮壮 杜瑞颖 陈晶 何琨 
国家重点研发计划(2021YFB2700200);国家自然科学基金(61772383,U1836202,62076187,62172303)。
为了保证5G专用网络中移动设备的通信安全,第三代合作伙伴计划(3rd generation partnership project,3GPP)提出了5G可扩展认证协议-传输层安全(extensible authentication protocol-transport layer security,EAP-TLS)。然而,现有的针对...
关键词：5G专用网络 EAP-TLS协议 形式化分析 Tamarin Prover 自动化验证 
一种寄存器自动化验证方法
《中国集成电路》2023年第4期61-65,共5页冯俊杰 张晓冰 
随着芯片功能的不断增加,芯片中寄存器数量日趋庞大,寄存器的属性也日趋复杂,寄存器验证的完备性和高效性成为验证人员迫切需要解决的问题。本文介绍一种寄存器自动化验证方法,只需要提供寄存器的规格文档,极少的人工参与,即可自动生成...
关键词：寄存器 自动化验证 完备性 高效性 
基于SystemVerilog的图像采集压缩卡芯片验证平台设计被引量：2
《电子测量技术》2021年第20期29-36,共8页王凯 王骞 符云越 李拓 刘凯 
山东省重大科技创新工程项目(2019JZZY010103)资助。
验证平台对视频采集压缩卡芯片的开发设计有重要作用。针对传统的验证平台在代码覆盖率以及测试效率方面存在的不足,设计了一款基于SystemVerilog搭建的验证平台,该验证平台采用面向对象程序语言设计,其中,PCIe host(RP)端采用Xilinx I...
关键词：SYSTEMVERILOG 功能验证 自动化验证 覆盖率收敛 
基于SV-DPI的图像坏元修正FPGA自动化验证被引量：3
《红外技术》2020年第12期1192-1197,共6页李艳龙 杨琪 王雪峰 
为实现红外图像坏元修正FPGA(field programmable gate array)的快速验证,提高测试覆盖性,设计了基于SV-DPI(SystemVerilog-direct programming interface)的FPGA自动化验证平台。采用DPI(direct programming interface)编程接口技术,...
关键词：自动化测试 FPGA验证 红外图像坏元修正 验证平台 
基于自动化分析的风险检测验证技术在环境自动监测中的应用探讨被引量：5
《农村经济与科技》2020年第16期15-16,共2页严威 张明 
大气、水质环境自动监测中的自动化系统通过互联网传输环境质量数据,实现环境质量的实时监督,系统中的数据已成为判断环境好坏的重要依据;网络传输是自动监测信息系统的重要一环,其安全性直接影响环境监测数据的真实性和准确性。而网络...
关键词：环境自动监测 网络安全风险检测 网络安全风险验证 漏洞自动化分析 漏洞自动化验证 
汇编级顺序语句块的自动形式化规约及其验证被引量：1
《计算机工程》2019年第10期64-69,77,共7页祁龙云 吕小亮 路红 黄皓 
国家电网公司2018年总部科技项目“可信嵌入式操作系统关键技术研究”(SGJSNT00FZJS1800129)
软件的形式化验证是保障软件可证明性、可靠性和安全性的重要手段,但传统形式化验证脚本的生成过程复杂且需要形式化验证专家的大量手工验证。为提高证明效率,构建一种自动证明模型,并在此基础上提出语义自动规约算法以及对所规约的语...
关键词：自动形式化规约 自动化验证 定理证明器 交互式定理 形式化验证 
集成电路工艺设计包PDK自动化验证与界面化的实现方法被引量：1
《集成电路应用》2019年第8期17-19,共3页程长虹 孙杰 胡少坚 
国家科技重大专题课题(2011ZX02702_004)
分析集成电路的自动化验证PDK方法,以及PDK验证过程中遇到的难点问题。通过Skill汇编语言建立系统化的PDK自动化验证界面工具。这是一套适用于不同工艺,嵌套在Cadence virtuoso平台下的PDK自动化验证方法,可以大大提高PDK验证的质量和...
关键词：集成电路设计 工艺设计包 自动化验证 CADENCE VIRTUOSO 
集成电路的版图比对电路LVS系统化自动验证方法研究被引量：2
《集成电路应用》2019年第8期25-27,共3页程长虹 孙杰 胡少坚 
国家科技重大专题课题(2011ZX02702_004)
分析集成电路的版图比对电路LVS验证的必要性和难点。提出了LVS自动化验证系统架构。通过Skill汇编语言建立系统化LVS自动化验证桌面工具。这是一套适用于不同工艺的,嵌套在Cadencevirtuoso平台下的LVS自动化验证方法,可以大大提高LVS...
关键词：集成电路设计 版图比对电路 自动化验证 CADENCE VIRTUOSO 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部