首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 500 毫秒
1.
为了解决核电厂DCS运维高准确度验证手段和精细化风险防控工具缺乏的问题,基于平行理论,采用数字仿真和虚实DCS融合技术开发了核电厂DCS平行系统。该系统采用了虚实DCS相结合的全厂DCS半实物仿真系统,既高保真又有经济性,研发了全厂级DCS精细化故障仿真模型,实现了DCS故障风险的高效准确分析验证,提升了DCS缺陷处置能力,研发了基于数据驱动的控制机柜三维仿真模型,为DCS运维提供了高逼真度分析验证环境,解决了DCS高逼真度维修操作环境缺乏问题。基于DCS平行系统进行了核电厂DCS运行事件复现及解决措施验证、DCS故障推演,提升了核电厂DCS故障处置能力。核电厂DCS平行系统可用于DCS变更验证、薄弱环节甄别、故障风险分析和维修方案验证,防范DCS维修引发机组运行风险,提升DCS运维可靠性。  相似文献   

2.
为了提高嵌入式系统的开发效率和设计可靠性、提供在获得硬件原型之前的虚拟集成验证手段,本文引入了软硬件协同验证的概念,提出了一种新的基于网络的嵌入式虚拟协同开发环境实现方法,通过采用松耦合布局的指令集仿真器和逻辑仿真器来构建虚拟集成验证环境,并在此基础上优化逻辑仿真,分离和抑制不必要的逻辑仿真周期,有效地提高了协同验证仿真性能.  相似文献   

3.
面向SoC的软硬件协同验证平台设计   总被引:1,自引:1,他引:0  
鲍华  洪一  郭二辉 《计算机工程》2009,35(8):271-273
针对SoC设计验证的实际需求,介绍一种面向SoC设计的软硬件协同验证平台。平台中软硬件模型分别在不同环境下运行,通过网络实现信息交互。硬件用硬件描述语言实现对系统事务级、RTL级的建模,软件用高级编程语言来编写,使用指令集仿真器完成对硬件的仿真。仿真过程使用不同的进程并行进行,应用进程间通信方式实现仿真器之间的信息交互。  相似文献   

4.
为提高专用指令集处理器设计中的验证效率和覆盖率,将专用指令集处理器的寄存器传输级设计验证与汇编器、指令集模拟器等软件开发工具的测试相结合,提出一种软硬件协同验证方法。该方法按照覆盖率要求由软件自动产生测试程序和数据,将利用汇编器产生的机器指令输入到指令集模拟器和硬件仿真工具分别进行软硬件仿真,通过软硬件仿真结果自动比对得出联合验证结果。实践证明,该方法能够有效提高验证效率和覆盖率,缩短验证周期。  相似文献   

5.
嵌入式系统软硬件协同验证中软件验证方法   总被引:1,自引:0,他引:1  
随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处理器功能模型(指令集模拟器ISS),逐条解释嵌入式软件在目标机器上的执行过程,产生模拟输出,驱动外围电路(即硬件设计).指令集模拟器从底层时序关系模拟嵌入式软件在目标CPU上运行过程.对于复杂嵌入式系统设计,ISS模拟速度通常成为协同模拟瓶颈.基于RTOS的嵌入式软件快速验证方法可以有效地提高软件模拟速度,扩展RTOS功能,适应协同模拟需要,建立硬件模拟驱动,实现软件和硬件模拟器通信连接和协同模拟同步控制.基于RTOS的嵌入式软件验证方法以编译代码模型为基础,从系统行为级验证嵌入式软件功能,验证速度快.在实际应用中,该方法和ISS验证相结合,能够实现更有效、更快速的嵌入式系统协同验证.最后以几个典型硬件设计为基础,编写相应的控制软件,进行软硬件协同验证实验,实验结果数据说明该验证方法实用、有效、快速.  相似文献   

6.
软硬件协同验证系统平台间通讯设计   总被引:2,自引:0,他引:2  
软硬件协同设计是软件、硬件的并行设计,包括系统描述、软硬件划分、设计实现和软硬件协同验证等几个阶段[1]。软硬件协同验证同时验证软件和硬件,使用处理器仿真器进行协同验证是其中一种重要的方法。一个能够对片上系统(SOC)设计进行全面快速验证的测试系统将会大大提高协同设计的效率[2]。测试系统中不同平台之间数据和信号的发送与接收是系统中必不可少的组成部分。该文介绍了测试系统平台间通讯方式和通讯协议的设计与实现。  相似文献   

7.
使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种基于固件的协同验证平台-FCVP.FCVP在FPGA上基于固件模拟待测硬件设计和系...  相似文献   

8.
随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段。提出了一种多核处理器事务级模型的多视图协同验证方法,将模拟验证、形式验证、应用验证三种不同验证视图,采用统一平台集成为一体化验证环境。从而可在一体化验证环境中,充分发挥多种验证方法综合应用的优势,协同高效完成多核处理器事务级模型验证任务。基于SoCLib事务级建模仿真平台实现了一个具有良好可扩展性的多视图协同验证环境MVIE。初步应用实验结果表明,多视图协同验证和传统单一视图验证方法相比,在模型验证的方便性、完备性、高效性以及模型数据一致性维护等方面,具有明显的优势。  相似文献   

9.
非安全级DCS仿真系统是核电站全范围模拟机系统的一部分。本文档介绍了核电站非安全级DCS仿真系统的功能和设计实现方案。本文描述的非安全级DCS仿真系统主要采用实物模拟和虚拟实物模拟仿真方式,实现了与实际核电站非安全级DCS系统完全相同的人机界面和功能;整个系统保留实际DCS系统的设计结构并对仿真功能采用模块化的设计方案,便于系统使用、升级、维护。  相似文献   

10.
针对CDM模型和传统软硬件设计方法的不足,提出了实现软硬件协同设计与验证的HSCT平台:由多层抽象模型组成,以基于C++的系统硬件语言SystemC作为单一的语言工具,分层细化,达到软硬件同步设计和验证的目的,提高了设计的效率和可靠性。  相似文献   

11.
人们提出了软件硬件协同设计的设计方法,以克服传统的将软件和硬件分开的设计方法对于SOC的设计存在的缺陷。SyStenlC是顺应这种发展趋势而产生的系统级描述语言。它是一种通过类对象扩展和基于C/C 的建模平台,支持系统级软硬件协同设计、仿真、验证、软硬件协同设计的系统级描述语言。本文介绍了系统级描述语言SySternC在集成电路设计中的应用,讨论了基于SyStemC的集成电路设计的设计流程、设计优势及其发展趋势。  相似文献   

12.
王若冰  谷良贤 《计算机仿真》2013,30(1):95-99,240
针对高超声速飞行器内部空间形状复杂、容积利用率低、质量特性设计困难的特点,提出了一种两级协同进化的飞行器布局优化设计方法。给出了飞行器内部布局优化问题的描述形式,提出了两级协同进化算法并运用局部搜索策略、迁移策略和种群迁移策略以提高计算效率,以X-51高超声速飞行器的内部布局问题为例,建立复合模型并运用两级协同进化算法进行仿真,验证了所提出的优化设计方法的可行性,并提高了求解效率。  相似文献   

13.
设计了一种基于FPGA的验证平台及有效的SoC验证方法,介绍了此FPGA验证软硬件平台及软硬件协同验证架构,讨论和分析了利用FPGA软硬件协同系统验证SoC系统的过程和方法.利用此软硬件协同验证技术方法,验证了SoC系统、DSP指令、硬件IP等.实验证明,此FPGA验证平台能够验证SoC设计,提高了设计效率.  相似文献   

14.
一种高效Cable Modem SOC软硬件协同验证平台   总被引:1,自引:0,他引:1  
通过对基于龙芯一号CPU的双向有线调制解调器SOC的研究,利用软件仿真和硬件模拟相结合的方法,设计了一种软硬件协同验证平台TWCNP,可分别对EuroDOCSIS协议栈、EuroDOCSIS协议处理器、整个双向有线网络SOC等软硬件进行验证,并实现了验证和设计的统一.为了提高TWCNP的验证时效性,提出了一种基于TWCNP-OS的软硬件协同验证方法,缩短了开发周期,保证了SOC设计的可靠性.  相似文献   

15.
冯鑫  郭炜 《计算机仿真》2007,24(10):257-260
随着SoC(System on Chip)系统设计复杂度的不断提高,设计前期在系统级别进行软硬件规划对SoC 性能的影响日趋增加,在复杂视频解码SoC 设计中迫切需要高效的性能分析和验证平台从架构层次上优化性能.将基于电子系统级设计(Electronic System Level , ESL)仿真方法在MPEG-4 视频解码SoC 软硬件协同设计中的应用,利用ARM SoC-Designer ESL 平台分析软件算法的瓶颈,实现软硬划分.通过SystemC 对硬件单元周期精确建模,最终实现了MEPG-4 解码软硬件协同仿真验证.实践证明利用ESL 进行系统设计不仅可以有效提高仿真速度而且设计的视频解码硬件能有效改善系统的性能.  相似文献   

16.
为解决核电厂安全级数字化控制系统(DCS)响应时间验证方法在充分性、准确性方面的不足,对系统响应时间数学模型进行分析。根据分析结果以及DCS模块及器件的特征和参数,对系统响应时间进行理论计算。通过模型仿真及测试试验,对理论计算结果进行验证。验证结果证明了理论模型的正确性。基于此理论模型,提出了系统异常的判断方法。分析及测试结果表明,该方法能够应用于测试验证实践,并且能够更充分和准确地判断系统响应时间是否满足要求,以及被测DCS是否存在异常。  相似文献   

17.
针对一款高性能复杂SoC芯片的设计,提出了一种新的软硬件协同仿真验证方案。通过比较仿真环境中软硬件间通信的各种实现方式,构建了一种新的符合VMM标准的验证平台。同时为加快覆盖率的收敛速度,给出了随机激励约束的优化方法。实践表明,新的约束和仿真方式使覆盖率收敛速度提高数倍,验证效率显著提高。  相似文献   

18.
低浓度含氧煤层气直接含氧液化精馏制液化天然气(LNG),在充分利用低浓度煤层气的同时又避免了煤矿瓦斯气直接排放造成的大气污染。首先,分析了含氧煤层气制LNG工艺中净化工段的工艺流程,结合工艺要求设计了可靠的控制系统。然后,根据低浓度含氧煤层气净化控制的工艺要求和系统规模,构建了分布式控制系统(DCS)的总体架构。在此基础上进行了硬件系统功能的选型及配置,以及对DCS软件的组态设计。最后,实现了DCS在工程实例中的一体化应用。该系统的应用提高了生产效率和产品质量,为工艺流程的稳定运行提供了安全保障。  相似文献   

19.
SystemVerilog作为近年来逐渐流行的FPGA验证语言,包含了丰富的验证特性:DPI、断言技术、功能覆盖率等,其中DPI接口技术可以帮助验证工程师在验证平台中实现对C或C++的调用,验证工程师可以通过编写C函数来实现复杂激励模型设计,同时也为进行复杂算法的FPGA设计的仿真验证提供了新的验证思路。本文提出一种基于DPI接口的FPGA仿真验证方法,实验表明:利用该方法搭建的仿真验证平台相对于传统的纯verilog验证平台,具有更高的仿真效率和验证的灵活性。该验证方法为算法级FPGA设计的确认测试提供了新的验证思路。  相似文献   

20.
硬件仿真器是加快时间敏感网络TSN芯片验证的重要手段。由于TSN芯片复杂性远低于SoC芯片,基于CPU的硬件仿真器可满足TSN芯片验证的需求。为满足TSN芯片设计需求,设计实现了一个面向TSN芯片验证的硬件仿真器OpenEmulator。针对TSN系统仿真的特点,提出了一种应用于OpenEmulator的时间同步互锁机制,实现了运行芯片HDL设计代码的硬件仿真域与运行真实TSN软件的物理域之间的精确时间同步。OpenEmulator已经在OpenTSN芯片设计中得到应用,基于普通PC机,可在20 min内仿真包含6个节点的TSN网络初始化和首次时间同步功能,大大提升了TSN芯片仿真验证的效率。目前OpenEmulator已经开源并集成到最新发布的OpenTSN开源项目3.4版本中。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号