基于ESL快速精确的处理器混合模型

1

作者 鲁超 魏继增 常轶松 《计算机工程》 CAS CSCD 2012年第7期281-283,共3页

RTL设计不能满足片上系统对仿真速度的要求。为此,提出一种基于电子系统级快速精确的处理器混合模型。以32位嵌入式微处理器C*CORE340为例,采用不同的抽象层次对指令集仿真器和Cache进行构建。实验结果表明,与RTL级模型相比,该模型的仿... RTL设计不能满足片上系统对仿真速度的要求。为此,提出一种基于电子系统级快速精确的处理器混合模型。以32位嵌入式微处理器C*CORE340为例,采用不同的抽象层次对指令集仿真器和Cache进行构建。实验结果表明,与RTL级模型相比,该模型的仿真速度至少快10倍,仿真精度误差率低于10%。 展开更多

关键词 指令集仿真器 事务级建模 电子系统级设计 混合模型 片上系统

在线阅读 下载PDF 职称材料

基于整车动力学的EMB线控制动系统功能安全概念设计

2

作者 狄亚格 周健 +5 位作者 陆杰 秦嘉 魏妤沁 王淙进 郝朝阳 缪雪龙 《汽车安全与节能学报》 CSCD 北大核心 2024年第6期830-838,共9页

为了提高面向智能车辆的电子机械制动(EMB)系统的安全性与鲁棒性,开展了相应的功能安全概念设计。在ISO 26262标准的基础上,并结合产品开发现状,采用故障注入的仿真方法,获得了车身在EMB失效时的运行规律,为故障发生时危害的严重度和可... 为了提高面向智能车辆的电子机械制动(EMB)系统的安全性与鲁棒性,开展了相应的功能安全概念设计。在ISO 26262标准的基础上,并结合产品开发现状,采用故障注入的仿真方法,获得了车身在EMB失效时的运行规律,为故障发生时危害的严重度和可控性评判提供了数据支撑,有效解决了EMB系统数据库不足的问题,并实现了严重度和可控性的量化分析。开展了危害分析与风险评估(HARA),得到了10个功能安全目标及其对应的汽车安全完整性等级(ASIL),制定了EMB系统的功能安全架构和需求。结果表明:本概念分析方法,可为其它全新智能驾驶电子系统的功能安全开发,提供参考。 展开更多

关键词 智能车辆 电子机械制动(EMB) 功能安全 汽车安全完整性等级(ASIL) 概念设计

在线阅读 下载PDF 职称材料

SoC系统级设计方法与技术 被引量：8

3

作者 王海力 边计年 +1 位作者 吴强 熊志辉 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第11期1637-1644,共8页

介绍了以Y图为中心的系统级设计方法研究主题,从软硬件协同设计技术、设计重用技术以及与底层相结合设计技术3方面探讨了系统级关键设计技术的研究进展·从设计方法和技术路线上,将当前的研究工作归纳为基于SpecC自顶向下细化求精... 介绍了以Y图为中心的系统级设计方法研究主题,从软硬件协同设计技术、设计重用技术以及与底层相结合设计技术3方面探讨了系统级关键设计技术的研究进展·从设计方法和技术路线上,将当前的研究工作归纳为基于SpecC自顶向下细化求精的设计方法、基于组件多处理器核SoC自底向上搭积木的设计方法和基于平台上下结合分而治之的设计方法3类·在此基础上,对各类方法的基本思想、描述语言、设计模型和关键技术等进行了分析与对比,并给出了该领域存在的研究问题及其今后的研究方向和重点· 展开更多

关键词 电子设计自动化 系统芯片 系统级设计方法学 知识产权核

在线阅读 下载PDF 职称材料

用于FPGA的多层次集成设计系统的设计与实现 被引量：6

4

作者 张峰 李艳 +13 位作者 韩小炜 李明 张倩莉 陈亮 吴利华 张国全 刘贵宅 郭旭峰 杨波 赵岩 王剑 李建忠 于芳 刘忠立 《深圳大学学报（理工版）》 EI CAS 北大核心 2012年第5期377-385,共9页

针对当前现场可编程门阵列(field programmable gate array,FPGA)领域,电子设计自动化(electronic design automation,EDA)工具集成度不够高、不具备用户自主设计FPGA芯片的功能等问题,设计并实现一套完整的FPGA多层次集成设计系统(vers... 针对当前现场可编程门阵列(field programmable gate array,FPGA)领域,电子设计自动化(electronic design automation,EDA)工具集成度不够高、不具备用户自主设计FPGA芯片的功能等问题,设计并实现一套完整的FPGA多层次集成设计系统(versatile design system,VDS).该系统包括高度集成的设计开发环境和FPGA芯片级到系统级的设计与验证工具,为设计、应用和验证自主研发的FPGA芯片提供了一个有效平台.VDS的显著特点在于提供了全自动芯片生成功能,使用户能根据自身需要灵活控制芯片的规模和功能,快速开发一系列的适应不同应用的FPGA.借助VDS成功设计出两款FPGA芯片,通过对FPGA进行电路设计以及对芯片和应用进行仿真与验证,证明了VDS的有效可行. 展开更多

关键词 微电子学 现场可编程门阵列 电子设计自动化 集成设计系统 用户图形界面 架构设计 版图设计 系统级设计 芯片仿真 芯片板级测试

在线阅读 下载PDF 职称材料

基于Android平台的四等水准测量电子手簿的设计与实现 被引量：3

5

作者 王凯 张卫民 +2 位作者 赵立谦 隋宛辰 梁勇 《山东农业大学学报（自然科学版）》 CSCD 北大核心 2014年第3期352-355,共4页

本文根据国家四等水准测量规范的要求,分析了四等水准测量的规范与现状,探讨了电子薄的特点与应用前景,在Java语言环境下,研究开发了基于Android平台四等水准测量电子手薄。通过在实习及泰安市城市建设工程中试用效果良好。

关键词 ANDROID 电子记录 四等水准 设计

在线阅读 下载PDF 职称材料

电子战训练仿真系统分析与设计 被引量：5

6

作者 常伟 张冉 +1 位作者 陈琦 徐忠富 《现代防御技术》 北大核心 2007年第5期140-146,共7页

电子战仿真训练基于建模仿真与计算机技术,其意义在于为仿真对抗演练高级训练模式创造条件。以电子战训练仿真系统开发为应用背景,提出了一种基于高层体系结构(HLA)仿真系统的分析与设计方法,以通信对抗训练仿真为例,展示了所提出的方... 电子战仿真训练基于建模仿真与计算机技术,其意义在于为仿真对抗演练高级训练模式创造条件。以电子战训练仿真系统开发为应用背景,提出了一种基于高层体系结构(HLA)仿真系统的分析与设计方法,以通信对抗训练仿真为例,展示了所提出的方法的可应用性,联邦成员代码自动生成工具与统一建模语言(UML)的应用提高了电子战训练仿真系统分析与设计的效率。 展开更多

关键词 电子战训练 仿真 高层体系结构 仿真系统分析与设计

在线阅读 下载PDF 职称材料

成本结构离散的两属性电子逆向拍卖机制设计 被引量：4

7

作者 黄敏 钱小虎 +1 位作者 金东洋 王兴伟 《系统工程学报》 CSCD 北大核心 2016年第1期88-100,共13页

在由一个采购商和多个供应商组成的电子逆向拍卖系统中,针对供应商成本结构离散且成本和交货期是其私有信息的两属性机制设计问题,为采购商提出一个新的基于协商的多轮逆向拍卖机制.建立基于协商的两层分布式决策模型,提出基于交货期偏... 在由一个采购商和多个供应商组成的电子逆向拍卖系统中,针对供应商成本结构离散且成本和交货期是其私有信息的两属性机制设计问题,为采购商提出一个新的基于协商的多轮逆向拍卖机制.建立基于协商的两层分布式决策模型,提出基于交货期偏差量的交货期让步策略、基于总体目标值的交货期让步策略和基于总体目标值的带有随机的交货期让步策略,并通过数值算例验证了所提让步策略的可行性和有效性.最后通过随机算例对所提的三种让步策略进行对比分析,结果表明基于总体目标值的带有随机的交货期让步策略具有最佳的协商效果. 展开更多

关键词 电子逆向拍卖 机制设计 两层分布式决策模型 协商 交货期让步策略

在线阅读 下载PDF 职称材料

用Linux实时系统设计飞机电子水平状态指示仪软件 被引量：1

8

作者 吴吉祥 夏靖波 杜华桦 《电光与控制》 北大核心 2010年第3期84-87,共4页

针对液晶式电子水平状态指示仪应用时图形显示速度慢的问题,提出基于嵌入式Linux实时系统的软件设计方案。给出软件设计原则、设计思路和消息机制,并详细分析"贴图"、Linux下进程间通信和多级缓冲等关键技术。对软件运行结果... 针对液晶式电子水平状态指示仪应用时图形显示速度慢的问题,提出基于嵌入式Linux实时系统的软件设计方案。给出软件设计原则、设计思路和消息机制,并详细分析"贴图"、Linux下进程间通信和多级缓冲等关键技术。对软件运行结果进行分析,软件在帧速率和CPU使用率方面均能达到较好效果,能够满足设计需求。该方案有效提高了电子水平状态指示仪界面显示速度和质量。 展开更多

关键词 电子水平状态指示仪 软件设计 进程间通信 多级缓冲

在线阅读 下载PDF 职称材料

基于HLA的舰艇电子战反导训练仿真系统设计 被引量：5

9

作者 萧海林 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第10期2568-2571,共4页

针对水面舰艇电子战系统模拟训练需求,进行了基于HLA分布式体系结构的训练仿真系统设计。以单舰电子战反导作战为仿真对象,从应用角度分析了舰艇电子战反导训练仿真系统的设计思路、组成和功能,并对其中一些关键问题提出解决方法。本系... 针对水面舰艇电子战系统模拟训练需求,进行了基于HLA分布式体系结构的训练仿真系统设计。以单舰电子战反导作战为仿真对象,从应用角度分析了舰艇电子战反导训练仿真系统的设计思路、组成和功能,并对其中一些关键问题提出解决方法。本系统主要用于舰艇电子战指挥员的指挥决策训练及指挥员与舰载电子战装备操作手的协调配合训练。 展开更多

关键词 电子战反导 模拟训练 高层体系结构(HLA) 联邦设计

在线阅读 下载PDF 职称材料

军事电子信息装备发展与思考 被引量：4

10

作者 宋跃进 《火力与指挥控制》 CSCD 北大核心 2007年第1期1-4,共4页

主要叙述了美、英、法进行未来陆军转型的简要过程与概况,以及他们的发展方针与模式,简述了中国军队的军事改革情况,从而提出了我国军事电子信息化发展的顶层设计、转型路线、军事电子信息装备的综合集成等相关方面的分析思考和应做的努... 主要叙述了美、英、法进行未来陆军转型的简要过程与概况,以及他们的发展方针与模式,简述了中国军队的军事改革情况,从而提出了我国军事电子信息化发展的顶层设计、转型路线、军事电子信息装备的综合集成等相关方面的分析思考和应做的努力,希望通过抛砖引玉的方式,引起和获得同仁们的帮助以及对火控、指控装备发展的重视。 展开更多

关键词 军事电子信息装备 顶层设计 转型路线 综合集成

在线阅读 下载PDF 职称材料

高层综合中一种新的控制/数据流图表示形式 被引量：1

11

作者 曹炜 林争辉 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期896-899,共4页

提出了一种新的控制 /数据流图 ( CDFG)的格式 ,这种 CDFG与过去一般所使用的 CDFG的最大区别在于这里的 CDFG引入了布尔节点 ( Bool-node)的概念 .文中介绍该这种新格式的具体细节 ;并给出了该 CDFG的实例和表示它的数据结构 。

关键词 电子设计自动化 高层综合 控制/数据流图 调度

在线阅读 下载PDF 职称材料

数字系统电平敏感扫描设计研究

12

作者 王凯 李耕 徐萍 《现代电子技术》 2007年第24期200-201,204,共3页

在复杂电子系统中对数字系统工作的可靠性要求越来越高,因此提高数字系统的可测试性变得尤为重要。要提高数字系统的可测性,就需要设计人员在设计系统的同时考虑到测试的要求,目前常采用的方法是结构设计。电平敏感扫描设计在结构设计... 在复杂电子系统中对数字系统工作的可靠性要求越来越高,因此提高数字系统的可测试性变得尤为重要。要提高数字系统的可测性,就需要设计人员在设计系统的同时考虑到测试的要求,目前常采用的方法是结构设计。电平敏感扫描设计在结构设计中使用较为普遍,针对电平敏感扫描设计法进行了研究。 展开更多

关键词 数字系统 可测试设计 电平敏感扫描 电子系统

在线阅读 下载PDF 职称材料

嵌入式系统芯片中SM2算法软硬件协同设计与实现 被引量：9

13

作者 钟丽 刘彦 +1 位作者 余思洋 谢中 《计算机应用》 CSCD 北大核心 2015年第5期1412-1416,共5页

针对现有的椭圆曲线算法系统级设计中开发周期长,以及不同模块的性能开销指标不明确等问题,提出一种基于电子系统级(ESL)设计的软硬件(HW/SW)协同设计方法。该方法通过分析SM2(Shang Mi2)算法原理与实现方式,研究了不同的软硬件划分方案... 针对现有的椭圆曲线算法系统级设计中开发周期长,以及不同模块的性能开销指标不明确等问题,提出一种基于电子系统级(ESL)设计的软硬件(HW/SW)协同设计方法。该方法通过分析SM2(Shang Mi2)算法原理与实现方式,研究了不同的软硬件划分方案,并采用统一建模语言System C对硬件模块进行周期精确级建模。通过模块级与系统级两层验证比较软硬件模块执行周期数,得出最佳性能划分方式。最后结合算法控制流程图(CFG)与数据流程图(DFG)将ESL模型转化为寄存器传输级(RTL)模型进行逻辑综合与比较,得出在180 nm CMOS工艺,50 MHz频率下,当算法性能最佳时,点乘模块执行时间为20 ms,门数83 000,功耗约2.23 m W。实验结果表明所提系统级架构分析对基于椭圆曲线类加密芯片在性能、面积与功耗的评估优势明显且适用性强,基于此算法的嵌入式系统芯片(So C)可根据性能与资源限制选择合适的结构并加以应用。 展开更多

关键词 SM2算法 SYSTEM C 软硬件划分 电子系统级 周期精确

在线阅读 下载PDF 职称材料

周期精确/位精确的Cache事务级建模方法 被引量：1

14

作者 孙铭泽 郭炜 +1 位作者 周红月 魏继增 《计算机工程》 CAS CSCD 2013年第8期74-76,82,共4页

对于片上系统(SoC)架构设计,寄存器传送级建模仿真速度慢,而采用C语言建模达不到所需的精度要求。针对上述问题,基于电子系统级(ESL)设计方法,提出一种通用的周期精确/位精确的高速缓存(Cache)事务级模型。该模型面向外部接口和内部逻... 对于片上系统(SoC)架构设计,寄存器传送级建模仿真速度慢,而采用C语言建模达不到所需的精度要求。针对上述问题,基于电子系统级(ESL)设计方法,提出一种通用的周期精确/位精确的高速缓存(Cache)事务级模型。该模型面向外部接口和内部逻辑分别采用不同的抽象层次进行建模,并构建基于ESL设计的SoC,实现软硬件协同设计。实验结果表明,集成Cache模块的仿真平台运行相应程序所需周期数大幅减少,可达到既定的精度要求。 展开更多

关键词 高速缓存 电子系统级设计 事务级建模 片上系统架构设计 周期精确 软 硬件协同设计

在线阅读 下载PDF 职称材料

基于多项式符号代数方法的高层次数据通路的等价验证 被引量：2

15

作者 杨志 马光胜 张曙 《计算机研究与发展》 EI CSCD 北大核心 2009年第3期513-520,共8页

基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,... 基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求.由此,以多项式符号代数为理论基础,提出了一个高层次数据通路的等价验证算法.深入研究了使用多项式表达式描述复杂数据通路行为的方法,得到了高层次数据通路的多项式集合表示的一般形式.从多项式集合公共零点的角度定义了高层次数据通路的功能等价,给出了一个基于Grbner基计算的有效代数求解算法.针对不同基准数据通路的实验结果表明了该算法的有效性. 展开更多

关键词 高层次数据通路 等价验证 多项式符号代数 形式验证 电子设计自动化

在线阅读 下载PDF 职称材料

高层次综合与布图规划相结合的方法与技术 被引量：1

16

作者 王云峰 刘志鹏 边计年 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第9期1438-1445,共8页

介绍了高层次综合与布图规划相结合的基本方法与技术及其研究进展.该方法主要解决集成电路制造工艺的持续发展给集成电路电路设计所带来的2个问题:集成电路本身的集成复杂度使得集成电路的设计工作必须向更高的抽象层次前进;集成电路特... 介绍了高层次综合与布图规划相结合的基本方法与技术及其研究进展.该方法主要解决集成电路制造工艺的持续发展给集成电路电路设计所带来的2个问题:集成电路本身的集成复杂度使得集成电路的设计工作必须向更高的抽象层次前进;集成电路特征尺寸的缩小导致物理寄生效应已经在电路的时延、功耗等指标上成为主导因素,这要求在更高的抽象层次关注物理参数的影响.对本领域有代表性的算法进行了系统的描述,并且对这些算法的基本思路进行了分析和总结. 展开更多

关键词 电子设计自动化 高层次综合 布图规划 互连线时延 低功耗

在线阅读 下载PDF 职称材料

面向智能车辆的EMB系统功能安全分析及应用设计 被引量：8

17

作者 程洁 郑凯 +1 位作者 秦嘉 吴晓东 《汽车安全与节能学报》 CAS CSCD 北大核心 2023年第1期69-79,共11页

为提高电子机械制动(EMB)系统的可靠性,基于ISO26262标准,开展EMB系统功能安全分析及设计。面向智能驾驶车辆,进行相关项定义;应用危害分析和风险评估(HARA)方法论,得到汽车安全完整性等级(ASIL)和系统安全目标,并建立系统安全机制,通... 为提高电子机械制动(EMB)系统的可靠性,基于ISO26262标准,开展EMB系统功能安全分析及设计。面向智能驾驶车辆,进行相关项定义;应用危害分析和风险评估(HARA)方法论,得到汽车安全完整性等级(ASIL)和系统安全目标,并建立系统安全机制,通过故障树(FTA)模型进行安全验证,实现安全目标的逐层分解;基于EMB系统安全机制搭建失效控制模块,设计制动力重构算法并利用联合仿真模型进行系统验证。结果表明:该系统设计方案同时满足应用于智能车辆的EMB系统的功能需求和安全需求。 展开更多

关键词 智能车辆 电子机械制动(EMB)系统 功能安全 冗余设计 线控制动 汽车安全完整性等级(ASIL)

在线阅读 下载PDF 职称材料

GPS快速静态定位技术在城镇地籍调查中的应用 被引量：3

18

作者 陈洪安 《安徽农业科学》 CAS 北大核心 2008年第19期8381-8382,8388,共3页

[目的]为GPS快速定位技术在城镇地籍调查中的应用提供依据。[方法]山亭区城镇地籍调查控制测量项目采用D级GPS控制网作为测区首级控制网,利用4台Trimble 5700 GPS双频接收机进行快速静态测量,选用22个点构成骨架网,进行优化设计,利用Tri... [目的]为GPS快速定位技术在城镇地籍调查中的应用提供依据。[方法]山亭区城镇地籍调查控制测量项目采用D级GPS控制网作为测区首级控制网,利用4台Trimble 5700 GPS双频接收机进行快速静态测量,选用22个点构成骨架网,进行优化设计,利用TrimbleDINI12电子水准仪进行GPS四等水准联测。[结果]通过精度统计及分析,利用快速静态定位测量结合GPS水准成果,能满足C级以下GPS控制测量的要求,利用一定数量和分布均匀的GPS水准点进行高程拟合,能达到四等以下水准测量的精度。[结论]在城镇地籍调查中采用GPS快速定位技术建立首级控制网,取得了很好的经济效益。 展开更多

关键词 GPS快速静态 优化设计 高程拟合 精度分析 电子水准

在线阅读 下载PDF 职称材料