电路验证

作品数：19被引量：9H指数：2
导出分析报告
相关领域：电子电信更多>>
相关作者：王洋张云黄继业吴占雄杨宇翔更多>>
相关机构：西安电子科技大学北京大学海光信息技术股份有限公司华为技术有限公司更多>>
相关期刊：《电子质量》《无线电与电视》《长春大学学报》《中文科技期刊数据库（全文版）工程技术》更多>>
相关基金：中国航空科学基金福建省教育厅科技项目广西高校科学技术研究项目国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于C8051F500微控制器的逻辑门电路验证系统设计被引量：1
《微处理机》2023年第1期6-9,共4页蔡玉辉 
为进一步优化逻辑门电路产品的验证与测试流程,基于C8051F500微控制器,提出一种逻辑门电路验证系统。系统综合运用微控制器技术、通信技术、计算机技术,可输出多路不同频率、相位的信号用作逻辑门电路激励,通过微控制器实时采集逻辑门...
关键词：C8051F500微控制器 逻辑门电路 芯片验证系统 
基于散列表的加法器重写优化算法
《应用数学进展》2022年第11期8265-8273,共9页黄怡桐 刘帅 魏峰玉 江建国 
在大规模算术集成电路设计领域中,乘法器电路的验证是一重大难题。当前主流的方法是Gröbner基法。在此基础上,研究者们提出了加法器重写等优化方法,但重写过程依赖进位变量且需遍历全部变量,导致验证效率降低。为此,本文利用散列...
关键词：乘法器电路验证 Gr?bner基 加法器重写方法 散列表 
机载电子跨时钟域同步电路验证及可靠性分析被引量：3
《西北工业大学学报》2022年第2期369-376,共8页范毓洋 邓智 李子航 
航空科学基金(20182667009)资助。
在航空器的机载设备中存在大量的多时钟域电路,数据在进行跨时钟域传输时可能会产生亚稳态,导致数据传输错误,电路可靠性降低。但亚稳态导致的故障具有偶发性、不易重现,且现有的跨时钟域专用验证软件使用成本高昂,不支持三模冗余场景...
关键词：机载电子 跨时钟域 寄存器传输级验证 可靠性 
电动汽车电池管理系统的开发研究被引量：2
《交通节能与环保》2019年第5期1-4,26,共5页王悦新 谢佳炜 陈葱香 
福建省教育厅自然科学基金项目(JA15506)
本文针对电动汽车电池管理系统中的电池SOC估算和均衡电路开展研究工作。利用安时积分法设计SOC估算电路,采集电池电压进行数据分析,达到实时精确监测反馈电池SOC的功能;采用基于电感的非耗散型均衡电路控制策略,实现电池间能量均衡。在...
关键词：电池管理系统 SOC 均衡控制 模拟仿真 电路验证 
适用于PAD控制逻辑电路验证的一种高效的形式验证方法
《中国集成电路》2019年第5期17-22,共6页左丰国 魏小莽 李伟 
现如今的SoC中,几乎都包含PAD控制逻辑电路(Pad Control Logic,PCL),以此来实现PAD复用技术,从而满足芯片面积不断缩小但功能不断增加的需求。针对PCL极其繁琐复杂的控制逻辑与其在芯片中举足轻重的地位,本文介绍了一种基于Jasper验证平...
关键词：形式验证 SOC PCL JASPER 
数字集成电路验证的基本原理
《中文科技期刊数据库（全文版）工程技术》2017年第3期319-320,共2页明小满 何安娜 
验证是核对设计实现与设计规范相一致的过程。验证过程需要回答两个问题:设计是否满足设计者的意图;是否将设计和意图进行了充分的比较,以确定设计的可行性。本文通过对验证流程和测试平台结构的描述,并举出一个具体的例子阐述了数字集...
关键词：数字集成电路 验证 原理 
数字集成电路FPGA验证的若干研究被引量：1
《电子技术与软件工程》2016年第1期133-133,共1页于维佳 何毅波 秦臻 
2014年度广西高校科学技术研究项目(YB2014567)
大规模集成电路的应用,促进了我国经济的快速发展,同时也带动了集成电路验证水平的提升。相对而言,数字集成电路是目前的主流,但在投入使用之前,必须采取一定的验证措施,以此来完成数字集成电路安全、可靠。目前,FPGA是比较常用的验证手...
关键词：数字 FPGA集成 电路验证 
基于LBIST的纠检错电路验证方法与实现
《计算机测量与控制》2014年第7期2146-2147,2153,共3页崔媛媛 李振辉 张洵颖 
十二五核高基项目(2011AA120201)
基于逻辑内建自测试的设计原理,提出了一种针对纠检错电路进行功能自测试的方法,根据纠检错电路具有固定纠检错能力的特点,无需存储海量的比较数据,也不需要设计响应特征分析器对结果数据进行压缩处理,针对具体的纠检错电路,通过增加特...
关键词：逻辑内建自测试 纠检错电路 故障注入 单粒子翻转 线性反馈移位寄存器 
Perl在ESD保护电路中研究与应用
《微型机与应用》2014年第4期23-25,共3页蒋小平 阳鹏 
研究了Perl在ESD保护电路中的应用。基于Perl语言的强大功能,在海量的数字电路仿真数据中准确地抓取需要的数据,并生成文件报表。同时为数字仿真电路的验证提供了一种全新、快速、准确的方式。
关键词：PERL ESD电路 电路验证 
基于CCD工艺提取MOS模型的电路验证
《半导体光电》2012年第2期221-224,共4页吕玉冰 祝晓笑 翁雪涛 岳志强 苏玉棉 
对基于CCD工艺提取的BSIM3v3模型,在CCD片上放大器电路上进行了验证,通过在直流、瞬态和交流条件下对比电路的仿真数据和实际测试数据,验证了该模型,即提取的模型能够满足电路模拟的要求。
关键词：CCD 模型参数提取 验证 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部