简介:面向多通道复杂混合信号的快速精确自动化测试需求,设计并实现了具有在线实时自动校准功能的CPCI总线专用组合测试系统。基于标准的CPCI总线J1/J2接口和扩展的后IO接口设计了专用信号调理模块和通用数据采集模块硬件,基于FPGA设计了测量转换时序与控制逻辑,基于LabVIEW环境开发了自动测试软件。基于Matlab研究了自适应的分段拟合校准算法,实现了系统在线实时自动校准,校准后直流、交流、频率测量精度误差分别达到1‰、2%和0.1‰。测试结果表明,基于分段三次多项式拟合的自动校准方法能够快速有效降低系统非线性导致的测量误差,整套系统满足面向密集信号的快速装备测试需求。
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:针对近年来岛礁区海军合同作战领域的研究热点,提出了一种岛礁区海军合同作战体系结构框架设计方法。在分析美国国防部体系结构框架(DoDAF)基础上,给出了基于DoDAF的岛礁区海军合同作战体系结构框架设计流程,并结合具体作战活动构建了相应的作战体系结构模型,多视图描述了作战节点间信息关系。这些模型直观易懂,对优化岛礁区海军合同作战体系结构顶层设计具有重要作用。