MPEG-2／4AAC音频编码模块的验证

先进音频编码（AdvancedAudioCoding,AAC）以其多声道、多采样率、高压缩比、音质好等特点被广泛使用。文中首先介绍了MPEG-2／4AAC音频编码技术;接着基于MPEG-2／4AAC音频编码原理,开发了时钟复位、寄存器配置和音频数据收发的BFM模型,搭建了音频编码模块的RTL级虚拟验证平台,同时归纳了验证项;最后基于此验证平台和验证项,对设计进行了全面的仿真验证。实践证明该验证方法效率高、收敛快、覆盖率高,取得了较好的效果,为后续的FPGA平台验证和芯片应用提供了有力的保证。     

基于正交极差分析的青龙河流域HSPF模型参数寻优模式

为评价桃林口水库水文水质状况,建立其上游青龙河流域的BASINs/HSPF水文水质模拟模型.以Nash-Sutcliffe效率系数作为评价标准,联合正交设计和极差分析法进行参数寻优研究和可靠性分析.结果表明:BASINs/HSPF模型参数寻优的正交极差联合分析模式可大幅减小参数的寻优次数和寻优区间,是获得模型灵敏度参数和参数满意解的高效模式,可为模型参数寻优算法开发提供借鉴;应用正交极差分析的参数率定结果,以青龙河流域下游桃林口水库监测点2011年实测径流数据对模型进行验证,验证期(2011年)的Nash-Sutcliffe效率系数为0.79,稍低于率定期(2012年)的Nash-Sutcliffe效率系数(0.81)以及PEST自动校准的Nash-Sutcliffe效率系数(0.84),水质模拟结果也基本吻合;针对青龙河流域BASINs/HSPF模型,应用正交极差分析方法识别出6个高灵敏的BASINs/HSPF模型参数(IRC、INFILT、AGWRC、DEEPFR、AGWETP和LZSN);应用正交极差分析方法获得的BASINs/HSPF模型参数满意解取值区间依次为:LZSN[2.0,6.3],INFILT[0.084,0.167],AGWRC[0.90,0.95],DEEPFR[0.209,0.333],BASETP[0.067,0.199],AGWETP[0.067,0.199],CEPSC[0.14,0.27],UZSN[1.35,2.00],IRC[0.392,0.483].     

数字集成电路多周期路径的设计实现方法

多周期路径是将复杂电路运算拆分在多个时钟周期完成,从而提高电路总体运行频率的一种设计方法,是数字电路中广泛使用的一种设计手段。实践中多周期路径的设计、约束与实现经常误用导致设计迭代和反复。文中结合在研项目,对多周期路径的产生机理进行了系统的分析,针对设计中常见的问题展开分析,提出了一种多周期路径的设计实现和施加约束的方法。实践结果表明,采用文中提供的方法可以有效避免多周期路径的误用,减少设计迭代,提高设计效率。     

基于响应面优化的青龙河流域HSPF模型参数校准方法

Hydrological Simulation Program-Fortran(HSPF)模型参数多且交互作用复杂,传统参数寻优面临着优化参数不灵敏、优化算法易陷入局部陷阱等问题,影响了优化精度和效率.本文集成青龙河流域、参数抽样、灵敏度分析和参数优化探索新的寻优途径.应用响应面优化软件Design Expert,针对9个HSPF模型参数进行抽样,获得130组参数集,采用多元二次回归模型,建立参数集与纳什效率系数(NSE)的非线性关系,通过等高线和响应面识别最优参数及其密集取值区间.响应面优化参数的NSE平均值、最大值、最小值以及寻优区间缩减率均优于正交极差分析方法;LZSN、INFILT、AGWRC为极灵敏参数,DEEPFR为灵敏参数;LZSN和INFILT、INFILT和AGWRC、INFILT和UZSN、INFILT和IRC的交互作用对结果有显著影响;优化参数的密集取值区间:LZSN[2.00,2.65];INFILT[0.400,0.475];AGWRC[0.870,0.885];DEEPFR[0.101,0.176];BASETP[0.001,0.120];AGWETP[0,083,0.120];CEPSC[0.166,0.244];UZSN[0.83,1.22]; IRC[0.53,0.63].响应面方法综合了参数抽样、参数灵敏度分析以及参数优化等3个方面,考虑了参数非线性关系和参数的交互作用,兼顾了优化精度和效率,为青龙河流域HSPF模型参数优化开拓了新途径.     

数字集成电路多周期路径的设计实现方法

多周期路径是将复杂电路运算拆分在多个时钟周期完成,从而提高电路总体运行频率的一种设计方法,是数字电路中广泛使用的一种设计手段。实践中多周期路径的设计、约束与实现经常误用导致设计迭代和反复。本论文结合在研项目,对多周期路径的产生机理进行了系统的分析,针对设计中常见的问题展开分析,提出了一种多周期路径的设计实现和施加约束的方法。实践结果表明,采用本文提供的方法可以有效避免多周期路径的误用,减少设计迭代,提高设计效率。     

基于 DO-254的航空集成电路设计保障研究

航空机载电子设备复杂度的不断提高,对于机载电子设备的基础———航空集成电路功能及性能的要求也不断提高,高集成度、高复杂度、高性能、低功耗、小型化已经成为了航空集成电路发展的必然趋势,而传统的设计和管理手段已经不能满足航空集成电路高安全性应用需求.探索并建立一个机载领域集成电路设计过程正确性保障体系,已成为迫切需要. DO-254标准代表了工业界、适航当局、机载领域硬件设计人员在内的大多数专家的一致意见,是机载电子硬件开发保证过程最好的实践经验的集合.文中将从集成电路硬件角度出发,研究并借鉴 DO-254标准的需求管理和过程保证方法,将好的管理策略运用到集成电路系统设计和前端设计过程中,以提高航空集成电路硬件设计的安全等级,降低航空集成电路开发风险     

基于DO-254的航空集成电路设计保障研究

航空机载电子设备复杂度的不断提高,对于机载电子设备的基础——航空集成电路功能及性能的要求也不断提高,高集成度、高复杂度、高性能、低功耗、小型化已经成为了航空集成电路发展的必然趋势,而传统的设计和管理手段已经不能满足航空集成电路高安全性应用需求。探索并建立一个机载领域集成电路设计过程正确性保障体系,已成为迫切需要。DO-254标准代表了工业界、适航当局、机载领域硬件设计人员在内的大多数专家的一致意见,是机载电子硬件开发保证过程最好的实践经验的集合。文中将从集成电路硬件角度出发,研究并借鉴DO一254标准的需求管理和过程保证方法,将好的管理策略运用到集成电路系统设计和前端设计过程中,以提高航空集成电路硬件设计的安全等级,降低航空集成电路开发风险。     

MPEG-2/4 AAC 音频编码模块的验证

先进音频编码(Advanced Audio Coding,AAC)以其多声道、多采样率、高压缩比、音质好等特点被广泛使用.文中首先介绍了 MPEG-2/4 AAC 音频编码技术;接着基于 MPEG-2/4 AAC 音频编码原理,开发了时钟复位、寄存器配置和音频数据收发的 BFM 模型,搭建了音频编码模块的 RTL 级虚拟验证平台,同时归纳了验证项;最后基于此验证平台和验证项,对设计进行了全面的仿真验证.实践证明该验证方法效率高、收敛快、覆盖率高,取得了较好的效果,为后续的 FPGA平台验证和芯片应用提供了有力的保证.