期刊文献+
共找到144篇文章
< 1 2 8 >
每页显示 20 50 100
硬件安全门级细粒度形式化验证方法 被引量:7
1
作者 秦茂源 慕德俊 +1 位作者 胡伟 毛保磊 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2018年第5期143-148,共6页
针对硬件设计长期缺乏有效的安全验证方法问题,提出了一种硬件安全门级细粒度形式化验证方法.该方法使用形式化语言在逻辑门层面上描述硬件电路的安全属性,构造包含安全属性跟踪逻辑的形式化语义语句,从而将硬件设计转化为电路语义模型... 针对硬件设计长期缺乏有效的安全验证方法问题,提出了一种硬件安全门级细粒度形式化验证方法.该方法使用形式化语言在逻辑门层面上描述硬件电路的安全属性,构造包含安全属性跟踪逻辑的形式化语义语句,从而将硬件设计转化为电路语义模型,并结合霍尔逻辑三元组理论构造用于验证该模型安全属性的定理.定理的证明过程是以人机交互的方式在定理证明器环境下验证定理的合理性.实验结果表明,该方法能够形式化地遍历电路语义模型的状态空间,精确验证不同输入状态下电路语义模型的安全性.该方法通过构造安全属性跟踪逻辑提高了验证的精确性,结合定理证明提高了验证覆盖率,能够有效地验证硬件设计的安全性. 展开更多
关键词 硬件设计 安全验证 定理证明 形式化语义模型 细粒度
下载PDF
Aeroengine thrust estimation and embedded verification based on improved temporal convolutional network
2
作者 Wanzhi MENG Zhuorui PAN +2 位作者 Sixin WEN Pan QIN Ximing SUN 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2024年第1期106-117,共12页
Thrust estimation is a significant part of aeroengine thrust control systems.The traditional estimation methods are either low in accuracy or large in computation.To further improve the estimation effect,a thrust esti... Thrust estimation is a significant part of aeroengine thrust control systems.The traditional estimation methods are either low in accuracy or large in computation.To further improve the estimation effect,a thrust estimator based on Multi-layer Residual Temporal Convolutional Network(M-RTCN)is proposed.To solve the problem of dead Rectified Linear Unit(ReLU),the proposed method uses the Gaussian Error Linear Unit(GELU)activation function instead of ReLU in residual block.Then the overall architecture of the multi-layer convolutional network is adjusted by using residual connections,so that the network thrust estimation effect and memory consumption are further improved.Moreover,the comparison with seven other methods shows that the proposed method has the advantages of higher estimation accuracy and faster convergence speed.Furthermore,six neural network models are deployed in the embedded controller of the micro-turbojet engine.The Hardware-in-the-Loop(HIL)testing results demonstrate the superiority of M-RTCN in terms of estimation accuracy,memory occupation and running time.Finally,an ignition verification is conducted to confirm the expected thrust estimation and real-time performance. 展开更多
关键词 Thrust estimation Temporal convolutional network Embedded deployment hardware-in-the-loop testing Ignition verification
原文传递
基于龙芯2F处理器的硬件验证平台的设计与实现 被引量:4
3
作者 张瑾 王剑 《计算机工程与科学》 CSCD 北大核心 2009年第A01期270-275,共6页
针对高性能处理器龙芯2F的逻辑验证和性能测试,本文设计和实现了一套硬件验证平台环境,既能验证处理器流片前的逻辑功能,也能测试处理器流片后的性能指标。实验结果表明,本文设计的硬件验证平台能够有效验证龙芯2F处理器的各项功能和性... 针对高性能处理器龙芯2F的逻辑验证和性能测试,本文设计和实现了一套硬件验证平台环境,既能验证处理器流片前的逻辑功能,也能测试处理器流片后的性能指标。实验结果表明,本文设计的硬件验证平台能够有效验证龙芯2F处理器的各项功能和性能指标。 展开更多
关键词 龙芯2F 硬件验证平台 逻辑验证 性能测试
下载PDF
一种可植入光遗传电路中无线供电抑制EMI方法
4
作者 吉彦平 李嘉伟 +5 位作者 柴东林 赵伯言 赵燕冉 王诗睿 王文思 郑梦沂 《电子技术应用》 2024年第1期101-108,共8页
提出了一种无线可植入光遗传硬件结构。在光遗传实验过程中,生物体体外采用磁谐振式无线能量技术对体内电路进行供电;然而在无线能量传输(WPT)过程中需要借助磁耦合将发射端电能转化成高频磁场,磁场是无线能量传输系统传输电能的介质,... 提出了一种无线可植入光遗传硬件结构。在光遗传实验过程中,生物体体外采用磁谐振式无线能量技术对体内电路进行供电;然而在无线能量传输(WPT)过程中需要借助磁耦合将发射端电能转化成高频磁场,磁场是无线能量传输系统传输电能的介质,其带来的电磁辐射(EMI)问题将对于生物体安全带来威胁;因此,设计了一种改进的展频和谐波抑制无线能量供电电路。首先介绍了系统的工作原理,然后采用电路理论分析了该电路的特性,并设计了发射端与接收端电路并进行了仿真,最后设计了硬件电路样机并在实验环境下按照植入式供电电路电磁兼容标准进行了验证。实验结果表明,所设计的系统能够有效抑制EMI,并能持续稳定对体内植入电路有效供电。 展开更多
关键词 光遗传 无线能量传输 电磁辐射 电路仿真 硬件验证
下载PDF
EDA实验教学的电子密码锁创新设计 被引量:5
5
作者 王永祥 刘焱 《宜春学院学报》 2010年第8期32-34,共3页
用硬件描述语言实现了一种新的用于EDA实验教学的电子密码锁设计。该设计能把串行的按键输入转换为逻辑矢量,当此矢量与预置的相等时锁便可以打开,不正确密码输入后的确认高电平将使设计发出警报;输入两组相同的8位数据和确认高电平就... 用硬件描述语言实现了一种新的用于EDA实验教学的电子密码锁设计。该设计能把串行的按键输入转换为逻辑矢量,当此矢量与预置的相等时锁便可以打开,不正确密码输入后的确认高电平将使设计发出警报;输入两组相同的8位数据和确认高电平就可以在锁被打开的状态下修改密码,而且整个设计的工作无需外部时钟。仿真结果和硬件验证表明该设计性能稳定可靠,具有较高的教学应用价值。 展开更多
关键词 电子设计自动化 硬件描述语言 电子密码锁 硬件验证
下载PDF
核电厂控制与保护系统应用软件潜在的功能缺陷与防御措施 被引量:4
6
作者 郑明光 徐济鋆 《核科学与工程》 CSCD 北大核心 2001年第4期331-335,共5页
分析了核电厂系统功能设计、数字化仪表控制系统中软件系统设计、开发、验证与确认中产生潜在的功能缺陷的原因 ;阐述了缺陷的种类、可能造成的后果与影响 ;论述了如何通过增大核电厂系统的设计裕量、强化纵深防御、采用规范的与成熟的... 分析了核电厂系统功能设计、数字化仪表控制系统中软件系统设计、开发、验证与确认中产生潜在的功能缺陷的原因 ;阐述了缺陷的种类、可能造成的后果与影响 ;论述了如何通过增大核电厂系统的设计裕量、强化纵深防御、采用规范的与成熟的编程、编译与验证技术来防止人因错误与编程的缺陷 。 展开更多
关键词 功能缺陷 防御措施 核电厂 数字化仪表 共模故障 软件 硬件 保护系统 控制系统
下载PDF
S7-1200 PLC在伺服电动机位置控制中的应用 被引量:5
7
作者 范振瑞 《电子科技》 2020年第5期77-81,共5页
随着生产技术的提升,工艺领域对伺服电动机的运动控制模块要求更加精确的位置控制,西门子公司的SIMATIC S7-1200PLC有着良好的工艺和性能,其通过脉冲接口的方式给电机的运行控制提供支持,满足当前工艺要求的水平,并且功能完善。文中对... 随着生产技术的提升,工艺领域对伺服电动机的运动控制模块要求更加精确的位置控制,西门子公司的SIMATIC S7-1200PLC有着良好的工艺和性能,其通过脉冲接口的方式给电机的运行控制提供支持,满足当前工艺要求的水平,并且功能完善。文中对西门子S7-1200 PLC在松下伺服电动机位置控制中的应用进行研究,阐述了松下伺服电动机A5系列硬件和PLC系统的接线步骤,通过软件程序实现对伺服电动机的位移运动的控制。实验验证了程序的正确性,结果表明,位移的操作精准度可以达到0.1 mm,满足位置控制的性能要求。 展开更多
关键词 S7-1200 PLC 伺服电机 运动控制 硬件设置 软件组态 实验验证
下载PDF
SD卡硬件启动和数据存储的控制逻辑的设计实现 被引量:2
8
作者 王清 刘新宁 《电脑知识与技术》 2008年第11期990-991,共2页
从介绍SD卡协议出发,分析了在初始化SD卡过程中命令发送的步骤以及进行语音数据存储的状态机设计,在不采用APB总线设计的条件下,运用Verilog语言通过模拟APB总线时序完成控制逻辑的设计,用Modelsim进行前仿,并利用Synplify和Quartu... 从介绍SD卡协议出发,分析了在初始化SD卡过程中命令发送的步骤以及进行语音数据存储的状态机设计,在不采用APB总线设计的条件下,运用Verilog语言通过模拟APB总线时序完成控制逻辑的设计,用Modelsim进行前仿,并利用Synplify和QuartusⅡ完成综合工作,并在Altera StratixⅡ平台上实现控制逻辑的FPGA验证。 展开更多
关键词 SD卡 模拟APB总线 硬件初始化 FPGA验证
下载PDF
基于C语言程序分析验证技术的Verilog代码验证方法
9
作者 邓茜 范广生 +2 位作者 陈立前 李暾 王戟 《计算机工程与科学》 CSCD 北大核心 2023年第12期2146-2154,共9页
传统的硬件验证方法将RTL设计综合成门级网表并使用SAT求解器进行验证,没有有效利用其字级结构,导致部分性质不能验证。近年来,软件分析验证技术和SMT求解技术取得了长足的发展,为将最新的软件分析验证技术迁移到硬件验证上来,提出一种... 传统的硬件验证方法将RTL设计综合成门级网表并使用SAT求解器进行验证,没有有效利用其字级结构,导致部分性质不能验证。近年来,软件分析验证技术和SMT求解技术取得了长足的发展,为将最新的软件分析验证技术迁移到硬件验证上来,提出一种基于C语言程序分析验证技术的Verilog代码验证方法。首先设计一个基于综合语义的Verilog到C的转换系统;然后使用当前软件分析验证领域典型的技术与工具对转换后的C语言程序进行分析验证,以判定原Verilog代码是否满足性质断言。实验结果表明了将C语言程序分析验证技术迁移到Verilog代码验证上的可行性和有效性。 展开更多
关键词 软件分析与验证 硬件验证 综合语义 程序转换
下载PDF
硬件设计的形式化验证技术 被引量:1
10
作者 杨泽民 范全润 《太原师范学院学报(自然科学版)》 2007年第2期54-56,共3页
形式化验证用数学可证明的方式来验证系统.硬件设计的形式化验证通常有三种方法:定理证明、等价性检验和模型检验.文章着重分析了这三种方法的优缺点,探讨了形式化验证技术所面临的挑战,以及目前形式化验证技术可能的一些研究方向.
关键词 硬件 形式化验证 定理证明 等价性检验 模型检验
下载PDF
基于Yosys的硬件信息流安全验证与漏洞检测 被引量:4
11
作者 陈春雷 王省欣 +2 位作者 谭静 朱嘉诚 胡伟 《计算机应用研究》 CSCD 北大核心 2021年第6期1865-1869,共5页
针对基于功能验证和侧信道分析的硬件安全漏洞检测方法的不足,提出了一种结合Yosys形式化验证能力和门级信息流追踪方法对集成电路设计进行安全验证和漏洞检测的方案。首先,使用Yosys对硬件电路设计进行逻辑综合,生成门级网表。其次,为... 针对基于功能验证和侧信道分析的硬件安全漏洞检测方法的不足,提出了一种结合Yosys形式化验证能力和门级信息流追踪方法对集成电路设计进行安全验证和漏洞检测的方案。首先,使用Yosys对硬件电路设计进行逻辑综合,生成门级网表。其次,为电路设计中各信号的每个比特位添加污染标签,并采用二进制位粒度的污染标签传播策略为基本逻辑单元生成门级信息流模型,进而以此为基本单元构建整个电路的信息流模型。然后,描述电路设计中关键数据的机密性和完整性属性,并将其映射为Yosys可识别的安全约束。最后,结合Yosys和电路的信息流模型对电路设计的安全属性进行验证,安全验证中捕捉到违反安全属性的事件,即表明硬件设计中存在安全漏洞。实验表明,该方法能够准确检测到AES加密电路中植入的一种可满足性无关项木马。实验结果验证了该方法能够在不依赖功能验证和侧信道分析的前提下检测到安全漏洞,因而适用范围更广。 展开更多
关键词 硬件安全 信息流安全 安全验证 漏洞检测 Yosys
下载PDF
一种基于变量隐藏抽象的IC3硬件验证算法
12
作者 杨柳 范洪宇 +1 位作者 李东方 贺飞 《计算机科学》 CSCD 北大核心 2023年第S02期783-788,共6页
随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。... 随着硬件设计复杂性和规模的大幅度提升,硬件验证工作更加具有挑战性。模型检验技术作为一种自动化验证技术,可以自动构建反例路径,也因此成为硬件验证领域内最重要的研究方向之一。IC3算法是近些年来最成功的比特级别的硬件验证算法。为了提高验证的规模和效率,硬件验证算法设计逐渐从底层的比特级向更高的抽象级别转变。研究目标是设计一个新型有效的字级IC3算法。针对研究目标,提出了一种将变量隐藏抽象和隐式抽象结合的字级IC3算法IC3VA。该方法尝试将变量隐藏抽象和IC3算法相结合,并设计了对应的泛化和精化方案。在开源社区和硬件验证大赛收集的测试集上和基于谓词抽象的方法进行对比,实验结果显示了基于变量隐藏抽象的IC3算法的有效性。 展开更多
关键词 硬件验证 IC3算法 形式化方法 模型检验 变量隐藏抽象
下载PDF
基于半物理的飞管系统集成验证技术研究
13
作者 王焕宇 刘宇 许光磊 《航空精密制造技术》 2023年第1期43-46,共4页
本文基于半物理的飞管系统集成验证技术,详细介绍了基于半物理的飞管系统集成验证平台架构与实现,研究了基于半物理试验的飞管系统仿真建模方法,完成了用于飞管系统半物理试验的仿真模型开发。在某型飞管系统集成试验过程中,搭建了基于... 本文基于半物理的飞管系统集成验证技术,详细介绍了基于半物理的飞管系统集成验证平台架构与实现,研究了基于半物理试验的飞管系统仿真建模方法,完成了用于飞管系统半物理试验的仿真模型开发。在某型飞管系统集成试验过程中,搭建了基于半物理的飞管系统集成验证平台,在完整的全系统仿真基础上,通过真件与仿真件之间的逐一替换,逐步完成飞管系统集成验证工作。该方法有效的提高了飞管系统集成效率,满足了飞管系统集成验证需求。 展开更多
关键词 飞管系统 半物理 集成验证
原文传递
基于硬件在环平台的ADAS功能及故障诊断测试研究
14
作者 侯昆峰 潘家保 《汽车实用技术》 2023年第7期42-46,共5页
高级辅助驾驶系统是一种复杂的智能控制系统,从系统开发到落地应用需要经过充分的验证测试。硬件在环仿真技术能够很好地解决实车验证测试成本高、测试场景复杂、周期长和危险性高等问题。采用Vector CANoe软硬件和Carmaker仿真软件构... 高级辅助驾驶系统是一种复杂的智能控制系统,从系统开发到落地应用需要经过充分的验证测试。硬件在环仿真技术能够很好地解决实车验证测试成本高、测试场景复杂、周期长和危险性高等问题。采用Vector CANoe软硬件和Carmaker仿真软件构建智能驾驶硬件在环仿真平台,实现高级驾驶辅助系统(ADAS)控制算法验证和故障诊断验证。结果表明,硬件在环平台能够有效地验证ADAS控制系统,对解决ADAS测试问题具有参考价值。 展开更多
关键词 硬件在环 智能辅助驾驶 仿真验证 总线模拟 故障诊断
下载PDF
基于NiosⅡ软核的音频播放系统设计与实现 被引量:4
15
作者 付扬 李成 《现代电子技术》 北大核心 2020年第10期59-62,共4页
利用SoPC设计灵活和软硬件可编程的优势,开发设计基于NiosⅡ嵌入式软核的SoPC音频播放系统。该设计在SoPC Builder下开发了基于NiosⅡ软核的基本系统,利用Verilog语言进行了I2C数据传输模块和音频配置模块的硬件设计,并在NiosⅡIDE软件... 利用SoPC设计灵活和软硬件可编程的优势,开发设计基于NiosⅡ嵌入式软核的SoPC音频播放系统。该设计在SoPC Builder下开发了基于NiosⅡ软核的基本系统,利用Verilog语言进行了I2C数据传输模块和音频配置模块的硬件设计,并在NiosⅡIDE软件环境下实现音频播放的软件设计。以Altera公司FPGA EP2C35F48418为核心芯片,以TLV320AIC23B为音频模块,通过SoPC的软硬件协同设计成功实现了一款通用的音频播放系统。该设计采用SoPC技术,具有可靠性、灵活性和扩展性强的优势。 展开更多
关键词 音频播放 系统开发 硬件配置 软件设计 系统验证 协同设计
下载PDF
基于STM32的立方体卫星姿控计算机设计 被引量:2
16
作者 谈曾巧 陆正亮 张翔 《现代电子技术》 2022年第2期57-61,共5页
为了满足立方体卫星对姿控计算机高性能、低功耗以及具有丰富的外设接口的要求,该文基于低成本、低功耗的STM32芯片设计立方体卫星姿控计算机。首先对立方体卫星任务进行总体分析,提出姿控计算机的总体设计方案;然后根据需求对姿控计算... 为了满足立方体卫星对姿控计算机高性能、低功耗以及具有丰富的外设接口的要求,该文基于低成本、低功耗的STM32芯片设计立方体卫星姿控计算机。首先对立方体卫星任务进行总体分析,提出姿控计算机的总体设计方案;然后根据需求对姿控计算机硬件系统进行设计,重点对主控芯片的选型、主芯片基础外围电路的设计以及主芯片与姿控各部组件的接口电路设计进行阐述;最后对姿控计算机实物进行了试验验证。结果表明,基于STM32芯片设计的模块化的立方体卫星姿控计算机,具有集成度高、低成本、低功耗、高性能、质量轻、工程适用性强等优点。 展开更多
关键词 立方体卫星 姿控计算机 STM32 硬件系统设计 硬件测试 接口电路 仿真验证 嵌入式设计
下载PDF
FPGA设计验证中的软硬件协同仿真测试方法 被引量:3
17
作者 孙秀睿 《南通大学学报(自然科学版)》 CAS 2016年第3期41-44,66,共5页
在FPGA设计验证中通常采用软件仿真的手段验证功能的正确性,有时也会配合采用硬件仿真手段,但软件仿真和硬件仿真分别存在仿真过程耗时长和可监测性差的不足,难以很好地满足FPGA验证工作的需求.针对FPGA验证工作中软件仿真和硬件仿真的... 在FPGA设计验证中通常采用软件仿真的手段验证功能的正确性,有时也会配合采用硬件仿真手段,但软件仿真和硬件仿真分别存在仿真过程耗时长和可监测性差的不足,难以很好地满足FPGA验证工作的需求.针对FPGA验证工作中软件仿真和硬件仿真的局限性,通过对软仿、硬仿及软硬协同3种仿真手段进行比较,提出软硬件协同仿真的基本原理及技术手段.在软硬件协同仿真平台上分别对某基带FPGA软件和某采集控制FPGA软件进行实例验证,并与采用纯软件仿真的结果进行比较.结果表明:相对算法复杂度较高的某基带FPGA软件,纯软件仿真所耗时间为软硬件协同仿真的10倍;相对控制复杂度较高的某采集控制FPGA软件,纯软件仿真所耗时间为软硬件协同仿真的30倍.实验结果证明了该软硬件协同仿真技术的可行性和高效性. 展开更多
关键词 FPGA验证 软件 硬件 协同仿真 测试
下载PDF
用高阶逻辑表达时态逻辑及其应用 被引量:2
18
作者 韩俊刚 《计算机学报》 EI CSCD 北大核心 1993年第12期925-930,共6页
硬件设计的形式化验证技术开辟了对复杂的超大规模集成电路设计进行验证的新途径,高阶逻辑和时态逻辑在形式化验证技术中均得到成功的应用,本文介绍用高阶逻辑表达线性时态逻辑和区间时态逻辑的方法,并以几个简单实例说明它在硬件设计... 硬件设计的形式化验证技术开辟了对复杂的超大规模集成电路设计进行验证的新途径,高阶逻辑和时态逻辑在形式化验证技术中均得到成功的应用,本文介绍用高阶逻辑表达线性时态逻辑和区间时态逻辑的方法,并以几个简单实例说明它在硬件设计验证中的应用,这种方法的优点是既利用高阶逻辑系统HOL的机械化定理证明手段,又发挥了时态逻辑的表达硬件的动态性质的能力。 展开更多
关键词 硬件 设计 时态逻辑 高阶逻辑
下载PDF
基于时频矩阵局部对比度的跳频信号参数估计 被引量:2
19
作者 刘佳敏 赵知劲 +1 位作者 尚俊娜 叶学义 《电信科学》 2021年第10期126-135,共10页
为了提高低信噪比下跳频信号参数估计性能,提出了一种基于时频矩阵局部对比度的跳频信号参数估计算法。根据跳频信号和噪声的时频分布不同特点,利用时频矩阵在不同尺度滑窗下的局部能量对比值均值,得到多尺度局部能量对比特征矩阵,通过... 为了提高低信噪比下跳频信号参数估计性能,提出了一种基于时频矩阵局部对比度的跳频信号参数估计算法。根据跳频信号和噪声的时频分布不同特点,利用时频矩阵在不同尺度滑窗下的局部能量对比值均值,得到多尺度局部能量对比特征矩阵,通过此特征矩阵和自适应阈值分离得到仅保留了跳频信号时频信息的时频矩阵P。然后从P中提取时频跳变信息,精确估计跳频信号的跳频周期、起跳时间和跳变频率。仿真结果表明,与传统局部对比度(local contrast measure,LCM)法及形态学滤波法相比,本文算法具有更好的跳频信号提取效果和更高的参数估计精度,其有效性与实用性在DSP+FPGA的硬件系统上得到了测试验证。 展开更多
关键词 参数估计 时频分析 局部对比度 硬件验证
下载PDF
满足SAE-L3等级的EPS自动驾驶技术研究 被引量:1
20
作者 席刚刚 丁宗旭 +1 位作者 李初蕾 解光耀 《农业装备与车辆工程》 2022年第12期133-137,共5页
SAE划分了汽车自动驾驶的等级。为满足其L3的技术要求,从硬件和软件两个维度出发,设计汽车横向控制器EPS(Electric Power Steering,电动助力转向系统)的技术方案。首先从硬件需求出发设计了EPS的硬件系统,并对其进行可靠性分析;其次设... SAE划分了汽车自动驾驶的等级。为满足其L3的技术要求,从硬件和软件两个维度出发,设计汽车横向控制器EPS(Electric Power Steering,电动助力转向系统)的技术方案。首先从硬件需求出发设计了EPS的硬件系统,并对其进行可靠性分析;其次设计自动驾驶软件架构,分析软件子模块的功能及实现原理;最后,基于L3自动驾驶技术的需求对EPS硬件和软件进行验证。 展开更多
关键词 自动驾驶技术 EPS 硬件系统 软件方案 台架验证
下载PDF
上一页 1 2 8 下一页 到第
使用帮助 返回顶部