等价性验证

作品数：41被引量：45H指数：4
导出分析报告
相关领域：电子电信自动化与计算机技术更多>>
相关作者：葛海通严晓浪杨军郑飞君张立明更多>>
相关机构：浙江大学吉林大学西安电子科技大学兰州大学更多>>
相关期刊：《山东大学学报（理学版）》《计算机工程与应用》《电子学报》《微电子学与计算机》更多>>
相关基金：国家自然科学基金浙江省自然科学基金中央高校基本科研业务费专项资金浙江省科技厅重点资助项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于线路动态划分与门序重组的量子线路映射方法
《量子电子学报》2025年第1期136-147,共12页姜一博 陈子禄 程学云 管致锦 
国家自然科学基金面上项目(62072259);南通大学博士启动基金(23B03);南通大学信息科学技术学院研究生科研与实践创新计划项目(NTUSISTPR24_04)。
在噪声中等尺度量子(NISQ)时代,量子芯片中量子位的受限连接导致量子线路中双量子位门无法直接执行。因此,将逻辑量子线路映射至量子芯片并使双量子位门可直接执行具有重要意义。本文提出基于线路动态划分与门序重组的量子线路映射方法...
关键词：量子计算 量子映射 交换规则 等价性验证 代价优化 
基于XMG的乘法器电路等价性验证算法
《计算机辅助设计与图形学学报》2024年第3期443-451,共9页朱柏成 储著飞 潘鸿洋 王伦耀 夏银水 
国家自然科学基金(61871242);专用集成电路与系统国家重点实验室开放课题(2021KF008).
组合电路等价性验证是数字集成电路设计自动化(EDA)中的重要部分,随着算术电路在现代计算机系统中的占比逐渐增大,传统的等价性验证算法在验证多比特算术电路,尤其是乘法器电路时面临挑战.对此,提出一种基于XOR-Majority Graph(XMG)逻...
关键词：逻辑综合 等价性验证 乘法器电路 异或-多数逻辑图 
芯片设计形式验证被引量：5
《前瞻科技》2023年第1期23-32,共10页詹博华 吴志林 
国家重点研发计划(2021ZD0113300)。
芯片设计验证是对芯片设计是否正确与安全进行检查,在芯片设计流程中具有非常重要的地位,占其将近1/2的成本和时间。形式验证是保证计算机软硬件系统正确性与安全性的非常重要的手段,已经成功用于芯片设计验证。全世界三大电子设计自动...
关键词：芯片设计 正确性与安全性 电子设计自动化 等价性验证 基于断言的形式验证 命题逻辑可满足性(SAT)求解 模型检测 
逻辑功能更正技术发展概述被引量：1
《微纳电子与智能制造》2021年第2期111-115,共5页魏星 贾非凡 
作为EDA工具的重要组成部分,逻辑功能更正技术的重要性不可忽视。本文介绍了逻辑功能更正技术在EDA工具中的地位和应用,简单介绍了逻辑功能更正技术的理论发展过程及其产品发展历程,最后展望了逻辑功能更正技术的未来发展趋势。
关键词：电子设计自动化 逻辑功能更正 数字芯片设计 形式验证 等价性验证 
基于GrO<sup style=" margin-left:-10px;">¨</sup>bner基方法的乘法器等价性验证
《应用数学进展》2021年第1期343-350,共8页张璇思 刘佳姝 江建国 
乘法器的等价性验证目前仍是大规模算术集成电路设计领域内的一大难题。本文利用逻辑门与多项式之间的对应关系,构建了乘法器的代数模型,将乘法器等价性验证问题转化成理想成员判定问题,然后再用计算机代数系统中的Gröbner基方法...
关键词：GrO style=" margin-left:-10px ">¨bner基 等价性验证 整数乘法器 增量式验证 切片 
基于Alloy的两个群定义的等价性验证
《应用数学进展》2017年第9期1050-1055,共6页邹科 江建国 徐月 张新钢 
群论是代数系统中的重要组成部分。本文提出一种使用Alloy验证群论中定理的新方法。使用Alloy对群的两种定义进行了形式化描述,并通过Alloy分析器实现了对这两种群定义的自动化验证。实验结果表明,该方法可行并且具有较高的效率。
关键词：群论 ALLOY 形式化描述 自动化验证 
基于双模冗余的胚胎电子细胞阵列在线故障检测被引量：8
《北京航空航天大学学报》2017年第6期1112-1122,共11页李丹阳 蔡金燕 孟亚峰 朱赛 
国家自然科学基金(61372039;61601495)~~
针对胚胎电子细胞阵列在线故障检测设计困难、检测率低、检测率难以准确计算等问题,提出了一种基于双模冗余的在线故障检测方法和一种基于电路等价性验证的故障检测率分析方法。设计了一种适用于查找表型功能单元的新型检测器,并开发了...
关键词：胚胎电子细胞阵列 在线故障检测 双模冗余 自动化设计 等价性验证 
基于多项式良性基的组合逻辑电路的等价性验证被引量：1
《黑龙江工程学院学报》2017年第3期30-32,共3页范德会 
黑龙江工程学院博士基金项目(2012BJ08)
虽然传统的等价性验证方法如BDD或布尔SAT等能够完成低层次的电路验证,但针对抽象层次较高的电路描述验证效率较低,基于多项式的数学方法能够从字级到位级形成统一的电路描述,为高效率地完成等价性验证提供理论依据。探讨组合逻辑电路...
关键词：等价验证 多项式良性基 形式验证 组合逻辑电路 
基于FPGA中状态机的逻辑等价性验证方法被引量：4
《南通大学学报（自然科学版）》2016年第3期45-49,共5页朱倩 田甜 赵欢 
采用Synopsys公司的逻辑等价性验证工具Formality,针对状态机逻辑电路进行逻辑等价性验证.介绍了验证的基本流程和具体步骤,具体分析了在逻辑等价性验证过程中出现的由安全设置、状态机耦合性和广义状态机等引发的常见状态机验证失败问...
关键词：FPGA验证 状态机 逻辑等价性 
部分实现组合电路的等价验证优化算法
《山东大学学报（理学版）》2016年第3期116-121,共6页岳园 田双亮 陈秀萍 
国家自然科学基金资助项目(11205074);2013年西北民族大学中央高校基本科研业务费专项资金资助项目(31920130008);2014年西北民族大学中央高校基本科研业务费专项资金资助项目(31920140090);西北民族大学科研创新团队计划资助项目
信息产业飞速发展,芯片设计的复杂性与日俱增。在复杂的电路设计中,经常包含某些功能未知的模块,这样的电路称为部分实现电路。为了保证产品设计的正确性,对部分实现电路进行等价性验证,提出了一种基于可满足性的优化算法。首先对部分...
关键词：部分实现电路 等价性验证 逻辑锥 未知模块 可满足性 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部