超长整数运算的PVS规范与验证

超长整数的运算是现代密码系统的应用基础,运算的正确性关系到密码系统的应用价值。为了验证超长整数算法的设计与需求目标之间的一致性,利用原型验证工具PVS对算法的正确性进行了证明。在介绍了超长整数的加法和减法算法并分析了其设计思想之后,给出了超长整数及其算法的形式规范,通过把算法需要满足的性质描述为定理,将算法的一致性验证问题转化为逻辑定理证明的问题,在PVS定理证明器上完成了相关定理的证明,从而表明这些算法是满足设计需求的。

混杂交通微观仿真原型系统的验证

在混杂交通微观仿真原型系统的开发中,需要做大量实地研究工作,并且验证主要是验证交通参与者模型。考虑到这些特点,在借鉴现有仿真验证方案的基础上,为其验证制定了方案。验证方案包含 5 步:仿真用途确定、比较基准定义、概念模型验证、规则库验证、结果验证。在文章最后,给出了一个应用该验证方案的具体实例。

内嵌ARM9E内核系统级芯片的原型验证方法

随着大容量高速度的FPGA的出现,在流片前建立一个高性价比的原型验证系统已经成为缩短系统级芯片(SoC)验证时间,提高首次流片成功率的重要方法。本文着重讨论了用FPGA建立原型进行验证的流程、优缺点以及常用方法,并结合对一款内嵌ARM9ESoC1所进行的原型验证,说明这一方法在SoC验证中的应用。

电动汽车复合储能系统能量管理策略及其快速控制原型验证

纯电动汽车储能系统需同时满足高功率密度与高能量密度的要求,但现阶段单一储能单元往往难以同时具备这两种特点。将高能量密度的锂电池与高功率密度的超级电容进行合理搭配,形成复合储能系统,是解决以上问题的一个有效方案。该文以宝马I3纯电动汽车作为目标车型,设计了锂电池/超级电容复合储能系统,并制定了一种基于规则的能量管理策略,综合考虑了外部工况要求、锂电池与超级电容的荷电状态,自动规划工作模式,充分发挥各储能单元自身优势,在极端状况下可自动启动保护模式;同时,基于快速控制原型的思想,设计搭建了以dSPACE为控制中心的复合储能系统能量管理策略快速控制验证平台,搭配可编辑电力参数的外部电子负载设备,完成了能量管理策略的半实物实验验证。实验结果表明,电动汽车锂电池/超级电容复合储能系统搭配合理的能量管理策略,能够充分发挥锂电池的能量特性与超级电容的功率特性,更好地满足了现代纯电动汽车对续航里程与动力性能的要求,同时可节约能源,在一定程度上起到延长储能系统使用周期的作用。

卫星定位系统的验证原型

用模型检查的方法对卫星定位系统进行了验证,对把模型检查应用于实际系统进行了初步的探索。

基于原型验证系统的自稳定算法形式化验证

介绍了分布式系统的自稳定性以及原型验证系统(PVS),阐述了从形式化角度验证系统性质的方法.使用PVS对分布式系统及系统中的自稳定算法进行形式化描述和建模,并成功地证明了系统的自稳定性.同时,通过机械化的验证和分析结果,可以得出形式化证明的优势.

新型可重构分布式天线与反射面:性能分析与原型验证

可重构分布式天线与反射面(Reconfigurable Distributed Antenna and Reflecting Surface, RDARS)作为一种新型的无线通信架构,可以为无线通信系统带来显著的性能增益。基于智能超表面(Reconfigurable Intelligent Surface, RIS)可改变电磁特性,重构了无线传播环境,为系统引入“反射增益”的设计思想,将此设计理念融入分布式天线系统(Distributed Antenna System, DAS),提出了为DAS的射频远端单元(Remote Radio Unit, RRU)赋予反射功能的新型RDARS架构。利用控制电路,RDARS中的每个单元可灵活切换“反射态”与“连接态”。低功耗的“反射态”单元反射信号为无线网络引入“反射增益”,“连接态”单元发射或接收信号获得“分布式增益”。基站与RDARS的联合设计可适配不同的通信需求,实现性能与功耗之间的平衡并显著提升系统性能。通过理论分析、仿真与原型验证,结果验证了RDARS能显著提升系统性能,在未来6G无线通信系统中具有巨大应用前景。

高密原型验证系统解决方案(上篇)

0引言随着当今SoC设计规模的快速膨胀,仅仅靠几颗当代最先进的FPGA已经无法满足原型验证的需求。简单的增加系统的容量,会遇到系统时钟复位同步,设计分割以及高速接口和先进Memory控制器IP验证等多重困难。此时,一个商用成熟的能解决以上多重挑战的通用高密原型验证系统方案显得十分有必要。本文主要分析了用户在进行大规模SoC设计原型验证过程中在全局时钟及复位同步,大规模设计分割以及高速接口和先进Memory控制器IP验证等方面遇到的困难,并提出了相应的解决方案来帮助用户来克服这些困难。

NI针对5G NR研究和系统原型验证推出新型毫米波射频头

美国国家仪器公司（简称NI）宣布针对毫米波收发器系统推出两款新型毫米波（mmWave）射频头。新型射频头涵盖24．5～33．4GHz和37～43．5GHz频谱，专为帮助无线研究人员对5G新空口（NR）系统进行原型验证而设计。

硬件辅助验证产品解读之FPGA开发板vs原型验证系统

在阅读本文之前,读者可以对FPGA芯片的基本含义及原理做基本的了解。FPGA的全称为Field Programmable Gate Array(现场可编程门阵列),属于专用集成电路中的一种半定制电路,是可编程的逻辑阵列。FPGA的基本结构包括可编程输入输出单元、基本可编程逻辑单元、数字时钟管理模块、嵌入式块RAM、丰富的布线资源、内嵌专用硬核,以及底层内嵌功能单元。

S2C为Xilinx原型验证系统提供突破性验证模块技术

S2C日前宣布其VerificationModule技术已可用于其基于Xilinx的FPGA原型验证系统中。V6TAIVerificationModule可以实现在FPGA原型验证环境和用户验证环境之间高速海量数据传输。用户可以使用XilinxChipScope或者第三方调试环境，同时查看4个FPGA。

系统原型验证平台助力SoC设计

系统原型验证是把IP提前在原型验证平台上验证通过后再进行芯片设计,它支持在FPGA上进行早期软硬件开发和测试验证,可提高SoC设计首次流片即成功的机率,缩短设计周期。

芯启源发布基于Xilinx FPGA的下一代SoC原型验证与仿真系统MimicPro

今天芯启源通过官方微信宣布,在高端EDA领域研发的基于Xilinx UltraScale FPGA的原型验证与仿真系统MimicPro已正式量产并供货。芯启源MimicPro解决方案为基于FPGA的原型设计提供了超前的自动化水平和高性能,可以大大加速半导体公司的芯片设计和软件开发验证过程。芯启源董事长兼CEO卢笙表示:"我们很高兴成功研发了MimicPro原型验证和仿真系统,交付给我们的客户使用。

升级FPGA原型验证系统到V7-2000T的几大优势

Xilinx已经对其Vivado开发套件进行过5次版本升级，Virtex－7FPGA的设计流程已经相当成熟。而且V7—2000TFPGA的价格已经降至适合大规模应用的合理水平，这为V7—2000T的早期用户也带来了福音：如今您可以复制更多的平台用于并行开发以缩短开发周期。对此我归纳出了需要将您的SoC／ASIC原型验证平台升级至Virtex-72000T的五大理由。

预警机战勤显示控制系统的原型设计与仿真验证

战勤显示控制系统是战勤人员和机载作战系统人机交互的重要环节,对飞机作战效能的发挥有重大影响。本文研究预警机战勤显示控制系统的功能并进行原型系统的抽象建模,设计开发原型系统的仿真软件,完成原型系统的仿真交互流程,验证原型系统的设计思想和系统架构的可行性。

S20与Japan Circuit公司合作，共同开发下一代超高速SoC原型验证系统

S2C-一家致力于实现简化系统到芯片创新的领先解决方案的供应商宣布，其与JapanCircuit公司（一家高速PCB设计公司）进行合作，针对Altera及Xilinx最新的FPGA器件，共同研发下一代高速SoC原型验证系统．通过这次合作，Japan Circuit将带来他们20多年设计高速PCB（10GHz）方面的经验。

故障预测与健康管理系统验证与确认方法综述

介绍了故障预测与健康管理验证与确认的研究动机,说明了该方法在整个系统设计中的地位;将验证和确认方法分为三大支撑技术:验证方法与性能评估、原型验证系统和不确定性管理,综述了这三种支撑技术的现有方法,分析比较了各方法的区别和联系,指出了具体的实现途径;点明了故障预测与健康管理系统验证与确认方法要关注的问题,明确了未来的发展趋势。

基于RT-LAB的飞控系统快速原型开发

针对传统飞控系统开发周期长、效率低的现状,设计了基于RT-LAB环境的导弹飞控系统快速原型仿真系统,完成其总体方案设计、软件框架构成及最后的系统集成。通过RT-LAB调用,方便地将数学仿真转换为半实物仿真。在仿真过程中,通过高速串口和数据采集板卡将系统与舵机、惯导等实物连接,以快速验证飞控算法的正确性,考核控制系统的控制性能。试验结果表明,系统具有良好的有效性、实时性和扩展性,能够满足多种型号飞控系统的研制需求。

复杂嵌入式系统原型设计工具Statemate

嵌入式系统的设计面临着系统复杂性的挑战。StatemateMAGNUM是面向功能需求的系统级自动设计软件包,定位于复杂的反应型嵌入式实时混合系统的原型设计与正规化验证。通过对Statemate主要特性、方法论、核心技术及国内外应用情况的介绍与讨论,展示了该工具的良好应用前景。

基于FPGA的可层叠组合式SoC原型系统设计

为解决单片FPGA无法满足复杂SoC原型验证所需逻辑资源的问题,设计了一种可层叠组合式超大规模SoC验证系统。该系统采用了模块化设计,通过互补连接器和JTAG控制电路,支持最多5个原型模块的层叠组合,最多可提供2 500万门逻辑资源。经本系统验证的地面数字电视多媒体广播基带调制芯片(BHDTMBT1006)已成功流片。