硬件验证

作品数：42被引量：82H指数：5
导出分析报告
相关领域：电子电信更多>>
相关作者：陈禾朱柯嘉闵昊徐科杨雪飞更多>>
相关机构：国防科学技术大学华南理工大学复旦大学新思科技有限公司更多>>
相关期刊：《中国集成电路》《电子技术应用》《半导体技术》《电信科学》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中国博士后科学基金中国科学院知识创新工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种可植入光遗传电路中无线供电抑制EMI方法
《电子技术应用》2024年第1期101-108,共8页吉彦平 李嘉伟 柴东林 赵伯言 赵燕冉 王诗睿 王文思 郑梦沂 
国家重点研发计划(2020YFC1807-903)。
提出了一种无线可植入光遗传硬件结构。在光遗传实验过程中,生物体体外采用磁谐振式无线能量技术对体内电路进行供电;然而在无线能量传输(WPT)过程中需要借助磁耦合将发射端电能转化成高频磁场,磁场是无线能量传输系统传输电能的介质,...
关键词：光遗传 无线能量传输 电磁辐射 电路仿真 硬件验证 
一种基于变量隐藏抽象的IC3硬件验证算法
《计算机科学》2023年第S02期783-788,共6页杨柳 范洪宇 李东方 贺飞 
国家重点研发计划课题(2018YFB1308601);国家自然科学基金(62072267,62021002);国防基础科学科研计划(XX2020204B028)。
随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。...
关键词：硬件验证 IC3算法 形式化方法 模型检验 变量隐藏抽象 
基于C语言程序分析验证技术的Verilog代码验证方法
《计算机工程与科学》2023年第12期2146-2154,共9页邓茜 范广生 陈立前 李暾 王戟 
国家重点研发计划(2022YFA1005101);国家自然科学基金(62032024)。
传统的硬件验证方法将RTL设计综合成门级网表并使用SAT求解器进行验证,没有有效利用其字级结构,导致部分性质不能验证。近年来,软件分析验证技术和SMT求解技术取得了长足的发展,为将最新的软件分析验证技术迁移到硬件验证上来,提出一种...
关键词：软件分析与验证 硬件验证 综合语义 程序转换 
基于时频矩阵局部对比度的跳频信号参数估计被引量：2
《电信科学》2021年第10期126-135,共10页刘佳敏 赵知劲 尚俊娜 叶学义 
国家自然科学基金资助项目(No.U19B2016)。
为了提高低信噪比下跳频信号参数估计性能,提出了一种基于时频矩阵局部对比度的跳频信号参数估计算法。根据跳频信号和噪声的时频分布不同特点,利用时频矩阵在不同尺度滑窗下的局部能量对比值均值,得到多尺度局部能量对比特征矩阵,通过...
关键词：参数估计 时频分析 局部对比度 硬件验证 
机载简单电子硬件的适航考虑
《航空计算技术》2021年第4期127-129,共3页刘文 高瑞坤 刘媛 
航空基金项目资助(2017ZC31008)。
针对RTCA DO-254中对于简单电子硬件的符合性表明方式定义不明确的问题,为了解决机载电子设备适航过程中简单电子硬件如何表明对DO-254符合性的问题,通过分析FAA Order 8110.105A中的关于简单电子硬件的符合性验证考虑,重点讨论简单电...
关键词：简单电子硬件 符合性验证 RTCA DO-254 硬件验证 
光伏系统直流串联故障电弧检测方法被引量：7
《电网与清洁能源》2021年第3期125-130,共6页屈建宇 马龙涛 陈思磊 葛世伟 
中国博士后科学基金项目(2020M681928)。
故障电弧是光伏系统电气火灾事故的常见原因,研究可靠的光伏系统直流故障电弧检测方法对保障系统运行和人身安全有重要意义。首先搭建了光伏系统直流故障电弧实验平台,采集了故障电弧典型电信号;接着对其进行了稳定性分析、时变性分析...
关键词：光伏系统 直流故障电弧 特征构建 检测方法 硬件验证 
基于模型检测的机载电子硬件验证方法研究被引量：1
《现代电子技术》2019年第16期6-9,14,共5页金志威 田毅 芦浩 王鹏 
国家自然科学基金项目(61601468);中央高校基金(3122016D028)~~
模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充...
关键词：民用航空 模型检测 机载电子硬件 验证方案 PCI总线 状态机 
信号与系统实验教学研究被引量：2
《电子世界》2019年第7期82-83,共2页高瑞 
延安大学2018科研计划项目(YDQ2018-13);延安大学继续教育教学改革研究项目(YDJZ2017-05);延安大学大学生创新创业训练计划项目(D2017182)
实验教学是工程类专业学生实践教学的基础,作者针对"信号与系统实验课程"提出了一种综合教学法,这种方法在教学上将理论与实践、软件与硬件相结合,通过探讨"阶跃响应"实验教学方案设计和教学实践情况,利用e-labsim虚拟仿真平台进行分析...
关键词：信号与系统 实验教学 教学研究 e-labsim 实践动手能力 硬件验证 实践教学 实验课程 
形式化验证方法浅析被引量：3
《电脑知识与技术》2019年第12期239-240,250,共3页陈波 李夫明 
随着信息技术的发展,软硬件系统越来越复杂,其中软硬件系统设计的正确性至关重要。形式化验证方法在硬件设计和软件开发等领域发挥越来越重要的作用,成为模拟验证的重要补充。本文主要介绍了形式化验证方法的发展现状并对其发展进行展望。
关键词：形式化验证方法 软件设计 硬件验证 模型检测 定理证明 
机载激光雷达回波形心算法修正及硬件验证被引量：4
《哈尔滨工业大学学报》2018年第5期116-120,共5页薛文佳 赵毅强 叶茂 胡凯 李杰 周国清 
国家海洋局项目(cxsf-39)
针对推扫式机载激光雷达系统实时探测、回波信号微弱等特点,基于常见高斯回波波形,研究高效、精确、易于硬件设计的回波时刻提取算法,实现高精度距离探测.本文通过分析传统波形形心算法的精度及存在的问题,为降低硬件实现时数据精度受...
关键词：机载激光雷达 时刻提取 波形形心算法 中位数法 FPGA 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部