一种FPGA通用IO口的验证设计和简易测试方法

文章给出了一种FPGA通用IO的验证设计和简易测试方法,通过最小硬件原理设计对输入IO口、输出IO口、混合IO口提出了详细的软件设计示例,并对三种软件示例测试方法进行比对分析。

机电产品的可验证设计系统及其实现框架

为提高机电产品的设计效率和质量,在深入研究现代设计理念、方法及可靠性理论的基础上,提出了可验证设计的概念、技术指标和基本理论体系,设计了机电产品可验证设计系统的基本框架,研究了可验证设计系统中的关键技术,为机电产品的可验证设计提供了一套行之有效的理论、方法和工具。

含有多个API的固体片剂的清洗验证设计及实施

含有多个API的固体片剂在生产过程中涉及到相关的工序及对应的各种设备的清洗验证方案设计及实施。固体片剂生产过程中与产品直接接触的有称量,造粒,压片,包衣及内包装,需要对所有与产品直接接触的表面进行清洗方法的开发及清洗效果的验证。目的为了降低药品生产过程中的污染、交叉污染的风险,降低原料药残留及其降解产物残留,辅料残留对下批生产的产品质量产生影响的风险,保证清洁过程和清洁结果都符合GMP要求。

Synopsys公司推出基于SYS.TEMVERILOG的可验证设计方法

Synopsys公司日前宣布,将大力支持Accellera System Verilog语言,以实现更先进的可验证设计（DFV）方法。Synopsys的DFV通过将完整的验证贯穿于整个设计开发过程,从而极大地提高了品质和能力。这一系列成果通过运用先进的验证技术,例如在断言基础上的验证、受约束的随机测试的生成以及形式分析,取得了成功。这套技术与SystemVerilog相结合得出的方法能够在整个设计流程中实现验证。Synopsys公司还宣布了其独特的混合型形式RTL验证工具MagellanTM,它与DiscoveryTM

低轨星座卫星快速开发与验证方案设计

针对低轨星座卫星快速开发与验证需求,提出试验星+工程星+接口验证平台(VPI)并行研制验证方案。通过工程星研制,对卫星结构、总装设计及供电主通道、推进贮供主通道等设计进行验证,支撑试验星设计优化与结构投产;VPI对星上电子单机接口、星上软件等进行迭代验证。通过试验星研制,对低轨星座卫星功能性能全面验证,确定星座卫星基线。该方案经多颗卫星实施验证,有效提高了低轨星座卫星验证效率。

基于感应耦合式无线能量传输的微纳聚合体航天器电源系统设计与验证

微纳聚合体航天器是一种以机械或电磁锁紧机构实现各模块化基本单元航天器连接的新型航天器架构,可以灵活实现在轨组装与自重构以满足不同任务需求。但是,基于传统电连接器的电气互联方式无法适应模块化航天器间灵活交汇对接与快速分离需求。针对上述问题,文章建立了基于感应耦合式双向无线能量传输的微纳聚合体航天器电源系统架构,根据地面演示验证需求分别设计了能源核航天器和载荷任务航天器电源系统参数,然后根据各模块化航天器间非接触供电需求,设计了双向无线能量传输单元参数,最后通过地面演示试验验证了基于双向无线能量传输的微纳聚合体航天器电源系统架构可行性,单级无线能量传输功率在20W~30W时传输效率稳定在75.8%以上,通过效率优化提升至95%以上,将可实现四个基本单元航天器的多级功率传输。

基于三相模拟乘法器的交流充电桩测试线设计与实验验证

对电动汽车充电桩进行计量法制管理,加强其计量监管,能够保证充电桩电能量值的准确可靠,维护电能贸易结算的公平和公正。文章设计并验证了一种基于三相模拟乘法器的交流充电桩测试线,旨在提高电动汽车充电桩的计量准确性和监管效率。实验结果表明,该测试线具有准确度高、使用简单、价格低廉等特点,可随时自查充电桩的有功电能误差,确保充电桩运营公司的计量计费的公平公正,为电动汽车行业的健康发展提供重要支持。

“句芒”号卫星超光谱探测仪设计与系统验证

随着双碳目标的提出,碳监测定量化遥感技术的发展需求日益迫切,对日光诱导叶绿素荧光定量化的遥感监测可以作为植被实际光合作用效果和碳循环效能评价的重要手段。介绍了“句芒”号卫星的有效载荷之一超光谱探测仪的性能指标、设计方案、系统组成、验证结果及在轨运行情况。超光谱探测仪是面向太阳诱导植被荧光探测的精密光学仪器,系统采用了推扫成像和光栅色散分光的技术方案,经过测试验证,光谱分辨率优于0.3 nm,地面像元分辨率达到1.5 km,典型输入辐亮度条件下系统信噪比优于500,各项指标均满足和优于探测任务需求,具备高光谱分辨率、高信噪比、高稳定性的探测能力,其良好的表现将在植被监测和碳循环应用等方面发挥重要的作用。

基于全域仿真验证的安全级DCS一体化协同设计

传统的安全级分布式控制系统(DCS)设计以单个控制站或机柜为单位开展设计工作,由于彼此之间信息交互较少,导致设计阶段的问题较多地在装配和测试环节被发现。为进一步提升安全级DCS设计效率及质量,提出了一种基于虚拟DCS的全域仿真验证技术的设计方法。在设计过程中引入一体化协同设计方法,实现了DCS系统设计、软件设计及硬件设计的深度协同;利用一体化仿真验证平台,实现对DCS软、硬件设计的一致性、外部接口的完整性及逻辑功能正确性的仿真验证;通过仿真验证能及时发现深层次的设计问题,规避了设计差错引入后续环节。该设计方法能够大幅提升安全级DCS的设计效率及质量。

基于AADL的多核体系设计与验证方法

通过建立模型来了解和预测多核体系的能力可有效避免在运用多核体系开发的后期出现返工的局面。为此,提出基于AADL的多核体系设计与验证方法。在使用AADL组件的前提下,基于AADL扩展属性集提出多核体系设计方法,基于AADL附件子语言提出多核体系验证方法。以腾锐D2000这一典型的通用8核处理器为实验对象,在开源建模环境OSATE中对所提出的基于AADL的多核体系设计与验证方法予以实验检验。实验结果表明所提出的基于AADL的多核体系设计与验证方法有效。

基于UVM的异步接口CAN控制器验证平台

针对带有异步接口的CAN控制器,设计实现了一种基于UVM的随机化、可重用的功能验证平台。该平台使用面向对象的UVM类搭建,代码可重用性更强,开发周期更短;引入随机化程度更高的激励加快功能验证的收敛速度,且更加贴近芯片的实际应用场景;自动化比对机制可以实时地输出结果报告,便于问题的定位和调试。平台独创性地实现了CAN总线代理器和异步接口驱动器两个组件,兼容CAN 2.0B标准协议和Intel/Motorola异步接口时序,实现了平台与DUT的数据交互。实验结果表明,设计验证平台可以有效验证待测设计异步接口CAN控制器。

约束驱动的动态关联式装配验证系统的设计与实现

针对机械产品设计中的装配约束验证问题,采用构造装配约束验证树的方法,将机械产品设计中存在装配约束关系的信息存储在树的节点中,将修改后的设计参数存入修改器,使用监视器监视修改器内容的变化,并对验证树进行实时更新,通过验证分析器调用监视器中的堆栈信息来决定验证工作的启停,实现了装配约束关系的动态、关联验证。开发了一个动态关联式装配验证原型系统进行实例验证,结果表明,该系统能够与设计同步监测设计变化对约束关系的影响,动态地检测出违反装配约束关系的设计缺陷。

提升城轨项目设计验证效率方法研究

系统设计验证是城轨项目实施过程中一个非常重要的环节,是在系统设计发布之后、系统数据启动之前所需的环节,是保障系统设计与合同需求一致性的重要手段。提供了一种新型的验证方法,以保护区段列表(Overlap List)验证为载体,阐述验证的具体方法,能够有效提升系统设计验证的效率及准确性。

跨平台中间件技术设计验证

近年来,应用软件国产自主可控发展趋势愈发明显,涌现出大量国产计算机和通信类产品,广泛应用到党政机关和企事业单位。在国产升级替换的过程中,国产操作系统、Windows和Linux等多种操作系统将在未来一段时期内共存。为满足国产化适配的需求,国产化跨平台软件的研制备受关注。

多车型协同平台设计验证和产业化

随着汽车行业竞争的加剧,为了加快车型的更新换代速度、缩短研发周期、降低研发费用和零件成本、提升零件通用性,一些车企进行协同车型平台开发,然后根据各车型项目定义开展车型扩展应用设计。同时,随着汽车产业的发展以及产销量的提升,大型汽车企业都会根据产销情况布局多处生产基地,因此,同平台的平台模块在各生产基地产业化协同方案对全价值链的经济性影响就成为一个课题,文章根据一款平台协同应用的开发经验,提出了平台协同开发在设计验证、制造工艺匹配、近地化制造方面应该关注的关键要求,希望能为车企在推进平台协同决策时提供依据。

高性能电机控制算法在工业应用中的设计与验证

随着现代工业的发展和技术进步,电动机的应用越来越多样化,其对电力系统的稳定性和可靠性提出了更高的要求。因此,如何提高电机的效率和功率密度成为了当前的研究热点之一。本文将针对高性能电机的设计和开发,提出一种新的控制算法,以提高电机的效率和功率密度。同时,还将结合实验数据进行验证,以证明该算法的可行性和有效性。

高海拔场景下高低压成套开关设备的设计验证

高海拔场景下,由于大气压力、空气密度、环境温度、湿度等因素较低海拔场景变化大,对高低压成套开关设备的绝缘、温升、分断能力等性能都提出了更特殊的要求。本文简要分析了高海拔场景对高低压成套开关设备性能的影响,并就高海拔场景下高低压成套开关设备的设计验证进行总结和阐述。

可验证的设计——清华美院家具设计教学回顾与展望

家具设计自清华美院环境艺术设计系建系以来一直是教学体系中的重要组成部分,为现代家具设计教育奠定了良好的基础。在我国很长一段时期家具产业、家具设计和家具设计教育并未形成良性互动,这也使我们的家具设计教育对产业贡献率很低。现在的状况正在发生改变,家具设计教学研究与实践并重,家具设计的图纸不再作为评价依据,制作完成后的实物成品是评价家具设计好坏的唯一标准,因此,在环境设计专业众多教学内容中,家具设计是少有的在教学环节即可被验证的设计。